Bestellen Terug

Hoofdkenmerken

Auteur:	Jacky, Jonathan
Titel:	Way of Z Practical Programming with Formal Methods
Uitgever:	Cambridge University Press
ISBN:	9780521559768
ISBN boekversie:	9780511888472
Land van oorsprong:	United Kingdom
Prijs:	€ 93.00
Verschijningsdatum:	28-11-1996
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	Worked examples or Exercises
Dewey code:	005.133

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	372
Hoogte mm.:	194
Breedte mm.:	299
Dikte mm.:	27
Gewicht gr.:	668

 

Inhoud:

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.