Norges billigste bøker

The Way of Z

- Practical Programming with Formal Methods

Om The Way of Z

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521559768
  • Bindende:
  • Paperback
  • Sider:
  • 372
  • Utgitt:
  • 28 november 1996
  • Dimensjoner:
  • 299x194x27 mm.
  • Vekt:
  • 668 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 26 oktober 2024

Beskrivelse av The Way of Z

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.

Brukervurderinger av The Way of Z



Finn lignende bøker
Boken The Way of Z finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.