Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)

Author: Thomas Kropf, G. Goos, J. Hartmanis
List Price: $71.95
Our Price: Click to see the latest and low price
ISBN: 3540634754
Publisher: Springer Verlag (15 January, 1997)
Edition: Paperback
Sales Rank: 740,499

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