Understanding Formal Methods

Author: Michael G. Hinchey, Jean Francois Monin
List Price: $59.95
Our Price: Click to see the latest and low price
ISBN: 1852332476
Publisher: Springer Verlag (17 January, 2003)
Edition: Paperback
Sales Rank: 726,296

Buy now directly from Amazon.com - Purchase this book, safely and securely from the largest book dealer on the Internet, Amazon.com

Similar Products

· Secure Coding: Principles and Practices
· Systems and Software Verification: Model-Checking Techniques and Tools
· Model Checking
· Secure Programming Cookbook for C and C++
· The Way of Z : Practical Programming with Formal Methods

Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog