The Way of Z

The Way of Z Practical Programming with Formal Methods Jonathan (University of Washington) Jacky

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.
€59,95

Deze titel is (nog) niet op voorraad.

Specificaties

ISBN
9780521559768
Uitgever
Cambridge University Press
Druk
1e
Datum
28-11-1996
Taal
Engels
Bladzijden
372 pp.
Bindwijze
Paperback
Genre
Informatica

Delen op

Meer op Athenaeum.nl over boeken

Koop dit boek bij Athenaeum

  • Gratis verzending vanaf € 20,-.
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.

pro-mbooks1 : athenaeum