The Way of Z: Practical Programming with Formal Methods - Jacky, Jonathan (University of Washington) - Books - Cambridge University Press - 9780521559768 - November 28, 1996
In case cover and title do not match, the title is correct

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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Jacky, Jonathan (University of Washington) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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  

More from the same publisher

See all of Jacky, Jonathan (University of Washington) ( e.g. Paperback Book and Hardcover Book )