Skip to main content
PBS logo
 
 

Search - Z: An Introduction to Formal Methods, 2nd Edition

Z: An Introduction to Formal Methods, 2nd Edition
Z An Introduction to Formal Methods 2nd Edition
Author: Antoni Diller
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
ISBN-13: 9780471939733
ISBN-10: 0471939730
Publication Date: 6/16/1994
Pages: 394
Rating:
  ?
0 stars, based on 0 rating
Publisher: John Wiley Sons
Book Type: Paperback
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.