Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University Ithaca, New ... 408 (Lecture Notes in Computer Science)

by Geoffrey Brown (Series Editor), Geoffrey Brown (Series Editor), Miriam Leeser (Editor)

New
Illustrated
2009
$88.79

$88.79

Save:$15.81 (15%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 412
Edition: 1990
Publisher: Springer
Published: 22 Feb 2009
ISBN 10: 0387972269
ISBN 13: 9780387972268