Pastāsti draugiem par šo preci:
The Way of Z: Practical Programming with Formal Methods Jacky, Jonathan (University of Washington)
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Jacky, Jonathan (University of Washington) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
The Way of Z: Practical Programming with Formal Methods
Jacky, Jonathan (University of Washington)
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.
372 pages, Illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1996. gada 28. novembris |
| ISBN13 | 9780521559768 |
| Izdevēji | Cambridge University Press |
| Lapas | 372 |
| Izmēri | 299 × 194 × 27 mm · 668 g |
| Valoda | Angļu |
Vairāk no tā paša izdevēja
Skatīt visus Jacky, Jonathan (University of Washington) ( piem., Paperback Book un Hardcover Book )