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:
Download VSAT Networks Second Edition epub
Dark Flame (The Immortals, Book 4) cheap book
The Nature Of Space And Time ebook free download







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