Introduction Formal Specification And Z by Ben Potter
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.
Introduction Formal Specification And Z
Summary
This book provides a complete tutorial on the Z notation. The introduction of case studies and exercises reinforces the informative and educational nature of the book.
Introduction Formal Specification And Z Summary
Table of Contents
Introduction. Formal Specification within Software Engineering. An informal introduction to Logic and Set Theory. The Z Notation: Mathematical Language. The Z Notation: Relations and Functions. The Z Notation:Schemas and Specification Structure. A First Specification.Formal Reasoning. From Specification to Program. From Theory to Practice. Appendices. Bibliography. Index.
Additional information
GOR002102153
9780132422079
0132422077
Introduction Formal Specification And Z by Ben Potter
Used - Good
Paperback
Pearson Education (US)
1996-06-21
448
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in good condition, but if you are not entirely satisfied please get in touch with us