Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Frequently Bought Together
Editorial Reviews
From the Publisher
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
From the Back Cover
Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
3.0 out of 5 stars
intriguing,
By
Amazon Verified Purchase(What's this?)
This review is from: Z: An Introduction to Formal Methods (Paperback)
Bought this book for a masters level class, the topic is really interesting stuff. I felt that the author has a little trouble explaining Z, as is often the case with people that are experts in a topic writing a book about it.
5.0 out of 5 stars
very clear - a good book on Z,
By
This review is from: Z: An Introduction to Formal Methods (Paperback)
If you want to learn a formal method, particularly Z, this is the book!Explanation is very clear.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
First Sentence:
Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
start sequent, output sequent, formula whose main connective, following tree proof, initial state schema, subsequence formation, unbounded display, finite partial injections, dom telephones, one elimination rule, annotated command, input sequents, free type definition, partial surjections, total surjections, thematic rules, basic type definition, total specification, restricted universal quantifier, error schemas, finite partial functions, definite description operator, relation telephones, internal telephone directory, copy vol Key Phrases - Capitalized Phrases (CAPs): (learn more)
Classl Class, Modelling Sets, Let Alpha, Wing's Library Problem New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Z is a language, but knowing this does not tell you very much about it because there are many different kinds of language, such as natural language and programming language. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
start sequent, output sequent, formula whose main connective, following tree proof, initial state schema, subsequence formation, unbounded display, finite partial injections, dom telephones, one elimination rule, annotated command, input sequents, free type definition, partial surjections, total surjections, thematic rules, basic type definition, total specification, restricted universal quantifier, error schemas, finite partial functions, definite description operator, relation telephones, internal telephone directory, copy vol Key Phrases - Capitalized Phrases (CAPs): (learn more)
Classl Class, Modelling Sets, Let Alpha, Wing's Library Problem New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 36
books:
See all 36 books this book cites
- Beginning Logic by E. J. Lemmon in Back Matter (1), and Back Matter (2)
- Mathematics, Science and Epistemology: Volume 2, Philosophical Papers (Philosophical Papers (Cambridge)) by Imre Lakatos in Back Matter
- Reason and Argument by P. T. Geach in Back Matter
- Introduction to Functional Programming using Haskell (2nd Edition) by Richard Bird in Back Matter
- Programme Construction and Verification by Roland C. Backhouse in Back Matter
See all 36 books this book cites
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > Science & Math > Mathematics
