1. Forside
  2. Bøger
  3. Engelske bøger
  4. Programmeringssprog og scriptsprog
  5. Softwareudvikling
  6. Matematisk datateori
  7. The Way of Z: Practical Programming with Formal Methods

The Way of Z: Practical Programming with Formal Methods

(Bog, Paperback / softback, Engelsk)
Forfatter: Jonathan (University of Washington) Jacky
The Way of Z: Practical Programming with Formal Methods
Forlag: Cambridge University Press

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Programmeringssprog og scriptsprog Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Jonathan (University of Washington) Jacky
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 28-11-1996
Første udgivelsesår 1996
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 372
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 372 pages, Worked examples or Exercises
Mål 194 x 299 x 27
ISBN-13 / EAN-13 9780521559768