The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) by J. M. Spivey (PDF)

4

 

Ebook Info

  • Published: 1992
  • Number of pages: 275 pages
  • Format: PDF
  • File Size: 0.83 MB
  • Authors: J. M. Spivey

Description

This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐Love this book. A Real page turner. Also, does exactly what it says on the tin with regards explain the Z notation language.

Keywords

Free Download The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) in PDF format
The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) PDF Free Download
Download The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) 1992 PDF Free
The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) 1992 PDF Free Download
Download The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science) PDF
Free Download Ebook The Z Notation: A Reference Manual (Prentice-hall International Series in Computer Science)

Previous articleIntroduction to Formal Languages (Dover Books on Mathematics) by György E. Révész (PDF)
Next articleAn Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) 1st Edition by J. M. Spivey (PDF)