Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

The Way of Z: Practical Programming with Formal Methods

 
 
 
 
The Way of Z: Practical Programming with Formal Methods
Author: Jonathan Jacky
ISBN 13: 9780521559768
ISBN 10: 521559766
Edition: 1
Publisher: Cambridge University Press
Publication Date: 1996-11-28
Format: Paperback
Pages: 372
List Price: $69.99
 
 

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects.