Product Description
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
From the Back Cover
This book aims to provide a collection of descriptions of the use of formal methods at an industrially useful scale written by the experts involved. Chapter One provides an overview of the book.
See buying choices for this item to see if it's one of the millions that are eligible for Amazon Prime.
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Citations
(learn more)
43
books
cite this book:
See all 43 books citing this book
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) by Michael G. Hinchey in Back Matter (1), Back Matter (2), and Back Matter (3)
- Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) by Christopher A. Rouff on page 58, and page 61
- ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science) by Jonathan P. Bowen on page 165, and page 541
- ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science) by Jonathan P. Bowen on page 273, and page 407
- FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science) by Marie-Claude Gaudel on page 84, and page 194
See all 43 books citing this book
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. |
Help others find this product — tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
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 Reviews
There are no customer reviews yet. Create your own review
| |||
Video reviews
|
 |
Customer Discussions
Beta (What's this?)
New! See all customer communities, and bookmark your communities to keep track of them.
|
This product's forum
(0 discussions)
Ask questions, Share opinions, Gain insight
Active discussions in related forums
|
||||||||||||||||||||||||||||||||||||||||||
Product Information from the Amapedia Community
Beta (What's this?)Be the first person to add an article about this item at Amapedia.com.
› See featured Amapedia.com articles
Look for Similar Items by Category
- Books > Computers & Internet > Computer Science > Software Engineering > Information Systems
- Books > Computers & Internet > Computer Science > Software Engineering > Methodology
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Engineering
- Books > Professional & Technical > Engineering
- Books > Professional & Technical > Professional Science > Mathematics
- Books > Science > Technology
Up to 30% Off Lansinoh |
Best Books of 2008 |
Buy Three Books, Get a Fourth Free |
A Level Grip |
|||||||
|
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
| ||||
| ||
| ||
| ||
| ||
| ||
