Skip to main content
PBS logo
 
 

Search - Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)

Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science)
Understanding Z A Specification Language and its Formal Semantics - Cambridge Tracts in Theoretical Computer Science
Author: J. M. Spivey
By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other language...  more »
ISBN-13: 9780521054140
ISBN-10: 0521054141
Publication Date: 1/21/2008
Pages: 140
Edition: 1
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.