Vi bøger
Levering: 1 - 2 hverdage

The Way of Z - Jonathan (University of Washington) Jacky - Bog

- Practical Programming with Formal Methods

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521559768
  • Indbinding:
  • Paperback
  • Sideantal:
  • 372
  • Udgivet:
  • 28. November 1996
  • Størrelse:
  • 299x194x27 mm.
  • Vægt:
  • 668 g.
  • 8-11 hverdage.
  • 18. Oktober 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af The Way of Z



Find lignende bøger
Bogen The Way of Z findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.