|
|||||||||||||||||||||||||||||||||||
|
2 Reviews
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
6 of 8 people found the following review helpful:
5.0 out of 5 stars
concise and complete,
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,
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.
|
|
Most Helpful First | Newest First
|
|
Understanding Formal Methods (Facit S.) by Jean François Monin (Paperback - January 17, 2003)
$119.00 $94.89
In Stock | |
 
| ||
