Skip to main content
PBS logo
 
 

Search - The Way of Z : Practical Programming with Formal Methods

The Way of Z : Practical Programming with Formal Methods
The Way of Z Practical Programming with Formal Methods
Author: Jonathan Jacky
This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discus...  more »
ISBN-13: 9780521559768
ISBN-10: 0521559766
Publication Date: 11/28/1996
Pages: 367
Rating:
  ?
0 stars, based on 0 rating
Publisher: Cambridge University Press
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.