Using Z: Specification, Refinement, and Proof by Jim Davies, Jim Woodcock

Using Z: Specification, Refinement, and Proof



Download Using Z: Specification, Refinement, and Proof




Using Z: Specification, Refinement, and Proof Jim Davies, Jim Woodcock
Language: English
Page: 408
Format: pdf
ISBN: 0139484728, 9780139484728
Publisher: PH

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

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.

MORE EBOOKS:
Salamander ebook download
Download Operation of Restructured Power Systems pdf
Living Water NT NLT ebook download
Download The Magician of Lublin pdf







Tags: Using Z: Specification, Refinement, and Proof ebook pdf djvu epub
Using Z: Specification, Refinement, and Proof download pdf epub djvu
Download Using Z: Specification, Refinement, and Proof free ebook pdf
Read Using Z: Specification, Refinement, and Proof online book
Using Z: Specification, Refinement, and Proof cheap ebook for kindle and nook
Using Z: Specification, Refinement, and Proof download book
Jim Davies, Jim Woodcock ebooks
Using Z: Specification, Refinement, and Proof download pdf rapidshare mediafire fileserve 4shared torrent