by David Lightfoot
|
Design patterns : elements of reusable object-oriented software by Erich Gamma |
by Jim Woodcock
|
by Eric Freeman
|
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth |
See buying choices for this item to see if it's one of the millions that are eligible for Amazon Prime.
|
Customers Who Bought This Item Also Bought
Product details
Would you like to update product info or give feedback on images?
|
Product Description
Review
‘… this reviewer cannot imagine a book better suited to inspiring the sceptical hacker into believing that there is some genuine value in formal methods.’ R. H. Banach, Axis
‘… most books about Z emphasise the mathematics, … The Way of Z breaks out of this mould to make Z relevant and accessible to all programmers. It is an ideal first or second-year book for students of computing science who want to design and write reliable programs.’ Harold Thimbleby, New Scientist
‘… especially good for more advanced students … this book will be inspirational and provide practical guidance to real software engineers.’ Computer Journal
Product Description
This book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
See all Product Description
‘… this reviewer cannot imagine a book better suited to inspiring the sceptical hacker into believing that there is some genuine value in formal methods.’ R. H. Banach, Axis
‘… most books about Z emphasise the mathematics, … The Way of Z breaks out of this mould to make Z relevant and accessible to all programmers. It is an ideal first or second-year book for students of computing science who want to design and write reliable programs.’ Harold Thimbleby, New Scientist
‘… especially good for more advanced students … this book will be inspirational and provide practical guidance to real software engineers.’ Computer Journal
Product Description
This book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
See all Product Description
Inside This Book
(Learn More)
Browse and search another edition of this book.
Browse and search another edition of this book.
First Sentence
Formal methods apply logic and simple mathematics to programming. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Formal methods apply logic and simple mathematics to programming. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
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. |
What Do Customers Ultimately Buy After Viewing This Item?
 |
72% buy the item featured on this page: The Way of Z: Practical Programming with Formal Methods |
 |
28% buy Formal Specification Using Z (Computer Science) £26.59 |
Customer Reviews
|
Share your thoughts with other customers:
|
|||||||
Most Helpful Customer Reviews
Share your thoughts with other customers: Create your own review
|
 |
Listmania!
Look for similar items by category
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
Specification of Software Systems
This graduate-level text provides a one semester introduction to...
Read more
|
Beauty without the Beast |
Treat Someone
With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is). |
||||||||
| |||||
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue Shopping: Top Sellers
| ||||
Amazon Home | |
| International Sites: United States | Germany | France | Japan | Canada | China | |
| Business Programs: Sell on Amazon | Fulfilment by Amazon | Join Associates | Join Advantage | |
| Customer Service | Help | View Basket | Your Account | |
| About Amazon.co.uk | Careers at Amazon | |
| Conditions of Use & Sale | Privacy Notice © 1996-2009, Amazon.com, Inc. and its affiliates |