Skip to main content
PBS logo
 
 

Search - Introduction to Formal Specification and Z (2nd Edition)

Introduction to Formal Specification and Z (2nd Edition)
Introduction to Formal Specification and Z - 2nd Edition
Author: Ben Potter, Jane Sinclair, David Till
Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z...  more »
ISBN-13: 9780132422079
ISBN-10: 0132422077
Publication Date: 7/11/1996
Pages: 448
Rating:
  ?
0 stars, based on 0 rating
Publisher: Prentice Hall PTR
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.