Tell your friends about this item:
The Way of Z: Practical Programming with Formal Methods Jacky, Jonathan (University of Washington)
Price
$ 99.99
excl. VAT
Ordered from remote warehouse
Expected delivery Nov 11 - 23
Christmas presents can be returned until 31 January
Get notified about new Jacky, Jonathan (University of Washington) releases
Our customers say:
Add to your iMusic wish list
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | November 28, 1996 |
| ISBN13 | 9780521559768 |
| Publishers | Cambridge University Press |
| Pages | 372 |
| Dimensions | 299 × 194 × 27 mm · 668 g |
| Language | English |
