Understanding Formal Methods

Rating:
Summary: concise and complete
Review: 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.