1029:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

372 sidor
1996

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.

Författare: Jonathan Jacky, Jonathan Jacky
Format: Pocket/Paperback
ISBN: 9780521559768
Språk: Engelska
Antal sidor: 372
Utgivningsdatum: 1996-11-28
Förlag: Cambridge University Press