Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition by J. M. Spivey (PDF)

5

 

Ebook Info

  • Published: 2008
  • Number of pages: 140 pages
  • Format: PDF
  • File Size: 23.07 MB
  • Authors: J. M. Spivey

Description

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 languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks.

User’s Reviews

Editorial Reviews: Review “The book is very well written and accurate, and the graphics are good.” Computing Reviews”The reader finds a well written book on a special rather technical topic…As such it is valuable for those who seek to understand the language Z in more detail…” Zentralblatt fur Mathematik Book Description This book provides a standard framework for understanding Z specifications.

Download

Keywords

Free Download Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition in PDF format
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition PDF Free Download
Download Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition 2008 PDF Free
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition 2008 PDF Free Download
Download Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition PDF
Free Download Ebook Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3) 1st Edition

Previous articleTheoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science, Series Number 10) by K. McEvoy (PDF)
Next articleFormal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science, Series Number 8) by James Clifford (PDF)

RELATED ARTICLESMORE FROM AUTHOR