Understanding Formal Methods (Facit S.) [Paperback]

Jean-Francois Monin (Author), M.G. Hinchey (Translator)

Book Description

ISBN-10: 1852332476 | ISBN-13: 978-1852332471 | Publication Date: January 17, 2003 | Edition: 1st Edition.

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.

Product Details

• Paperback: 276 pages
• Publisher: Springer; 1st Edition. edition (January 17, 2003)
• Language: English
• ISBN-10: 1852332476
• ISBN-13: 978-1852332471
• Product Dimensions: 9.1 x 6 x 0.6 inches
• Shipping Weight: 15.5 ounces (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (2 customer reviews)
• Amazon Best Sellers Rank: #406,618 in Books (See Top 100 in Books)
  • #71 in Books > Computers & Technology > Computer Science > Software Engineering > Methodology
  • #81 in Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

6 of 8 people found the following review helpful:

5.0 out of 5 stars concise and complete, August 19, 2004

By 

Bob Dole (Washington, D.C.) - See all my reviews

This review is from: Understanding Formal Methods (Facit S.) (Paperback)

This is a very well thought out book. The author reviews all the latest formal techniques and gives to the reader a complete outlook on this advanced subject in a clean and simple way. If you work in the field of critical software, you probably know some of them already, but if you're a developer dreaming of writing better code or making the machine write it for you, this book could be of some interest for you. A very good introdution to the most theoretic part of computer science.

1 of 2 people found the following review helpful:

5.0 out of 5 stars Very well written and easy to read, June 4, 2008

By 

Sunil Kothari - See all my reviews
(REAL NAME)   

This review is from: Understanding Formal Methods (Facit S.) (Paperback)

I have just read the first few chapters and I like it. Its very readable. Many of the ideas in Computer Science came from work done in 30's and 40's and later. Most books do not provide a good overview of how these ideas relate to each other, especially in formal methods area. This book does an excellent job.