Understanding Formal Methods

by Jean-François Monin

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.

292 pages, Paperback

First published January 17, 2002

Reviews

[Arthur Ryman · Rating 3 out of 5]

This book is very ambitious in its scope but falls short for people who want to learn about any particular topic. It is a good overview of the field. The translation from French is less than perfect.