Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings: 1522 (Lecture Notes in Computer Science)

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings: 1522 (Lecture Notes in Computer Science)

by Ganesh Gopalakrishnan (Author), Ganesh Gopalakrishnan (Author), Phillip Windley (Author)

$95.44

Save:$7.27 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 548
Edition: 1998
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540651918
ISBN 13: 9783540651918