Type of bind: Textbook Type of bind
Dewey Decimal Number: 005.12
EAN num: 9780139484728
ISBN number: 0139484728
Label: Prentice Hall
Manufacturer: Prentice Hall
Quantity: 1
Page Count: 386
Printing Date: 1996-07
Publishing house: Prentice Hall
Sale Popularity Level: 1734876
Studio: Prentice Hall
Editor's Notes and Comments:
Product 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
User popularity level:
Rated by buyers 
-
It was my course book during my MSc Studies and the lecturer was one of the book writers (Jim Woodcock). Regardless, I found the book very easy to read, and inspired me to work with formal methods. All chapters have examples and the reader can use them to learn the basics on Z notation. By the end of the book you will be ready to write any Z code. It is not a Z book in practice or a Z book only for beginners, but a very good course and reference book.
Rated by buyers 
-
This book promises meld three important areas of using the Z notation: specification, rigorous and formal proof, and refinement into code. My problem with this book is twofold. First, learning Z is no easy task. This book does a satisfactory job convincing the reader of the wonderful benefits of formal specifications, and dives into using the notation with examples. For my purposes, I found the examples limited and lacking in certain respects. Overall, the book was unable to convey the wisdom and semantics of "Using Z" to me.
Find other books like this one:
