Fme 2002: Formal Methods-Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002: Proceedings (Lecture Notes in Computer Science, 2391)

Author: Lars-Henrik Eriksson, Peter Alexander Lindsay, A. C. Schrijver
List Price: $91.00
Our Price: Click to see the latest and low price
ISBN: 3540439285
Publisher: Springer Verlag (August, 2002)
Edition: Paperback

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


Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog