Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine. Seller Inventory # CHL2132199

Contact seller

Report this item

Bibliographic Details

Title: Understanding Z: A Specification Language ...

Publisher: Cambridge University Press

Publication Date: 1988

Binding: Hardcover

Condition: Used; Very Good

About this title

Synopsis:

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.

Book Description:

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.

"About this title" may belong to another edition of this title.

Store Description

Reuseabook is an established second hand book seller. An ethical and environmentally conscious business, we look forward to providing you with a good read. Reuseabook is committed to providing each customer with the highest standard of customer service.

Visit Seller's Storefront

Seller's business information

Reuseaworld Ltd
Unit A Mill Place 2, 90 Bristol Road, Gloucester, GL1 5SQ, United Kingdom

Terms of Sale:

Any customer wishing to return a book has 30 days to do so if they are not entirely satisfied.
Upon receipt, a refund of the cost of the book will be issued.

Legal company name : Reuseabook Partnership

Registered and returns address
Unit A
Mill Place 2
Bristol Road,
Gloucester
Gloucestershire
GL1 5SQ

Customer services and general contacts email: abe@reuseabook.com

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Unless noted otherwise in the ordering pipeline Reuseabook dispatches all items within two working days of receiving order You will receive notification of any delay or cancellation of your order.

Payment Methods
accepted by seller

Add to Wants

Items related to Understanding Z: A Specification Language and its Formal...

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

Spivey, J. M.

Used - Hardcover

Seller's business information