Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

$119.00
+ $14.49 Shipping

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Brand: Unbranded
  • product image
Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Brand: Unbranded
Price: $119.00
Sold by:
$119.00
+ $14.49 Shipping

In stock

We accept the following payment methods

Description

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

The Z notation is a language for expressing mathematical specifications of computing systems. 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. Z is compared with other methods such as VDM and CLEAR and in the final chapter a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method those who want a concise definition of the language and those interested in the design of specification languages. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Spivey J. M.
  • Format: Paperback
  • Language: English
  • Publication Date: 2008/01/21
  • Publisher / Label: Cambridge University Press
  • Number of Pages: 140
  • Fruugo ID: 337398384-741030578
  • ISBN: 9780521054140

Delivery & Returns

Dispatched within 4 days

  • STANDARD: $14.49 - Delivery between Thu 18 December 2025–Tue 23 December 2025

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy