When you buy a used copy YOU SAVE
1.57Kg of CO2
196 litre(s) of Water
0.0118 Tree(s)
1 book donated to global literacy projects
Using Z : Specification, Refinement, and Proof
Using Z : Specification, Refinement, and Proof
other
Published:
22 March, 1996
other
Published:
22 March, 1996
Standard worldwide delivery by
Tue, July 14 - Fri, July 17
Order within
0
Condition:
USED
$9.11
RRP
$52.14
You save $43.03 (83%)
Available
1
in stock
FREE Returns within 30 days
Popular Books by Jim Davies
View All Books by Jim Davies
Description
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
Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html
More Details
| Type | Book |
|---|---|
| ISBN13 | 9780139484728 |
| ISBN10 | 0139484728 |
| Number Of Pages | 392 |
| Item Weight | 680 g |
| Product Dimensions | 170 x 28 x 228 mm |
| Publisher / Reseller | Prentice Hall |
| Format | other |
| Edition | 01 |
See More +