Using Z : Specification, Proof and Refinement. This item is unavailable.
7 ratings by Goodreads
Language: English
Published by Prentice Hall PTR, 1996
- Softcover
- Used
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
5-star seller
AbeBooks seller since August 3, 2006
Unavailable
Softcover
Condition: Used - Good
US$ 19.15
Item description from seller
Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller Inventory # GRP11305489
- Title
- Using Z : Specification, Proof and Refinement
- Author
- Davies, Jim, Woodcock, Jim
- Publisher
- Prentice Hall PTR
- Publication year
- 1996
- Condition
- Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0139484728
- ISBN 13
- 9780139484728
- Item weight
- 0.22 pounds
- Dimensions
- N/A
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
"Synopsis" may belong to another edition of this title.
From the Back Cover
This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.
"About the title" may belong to another edition of this title.