Current Trends in Hardware Verification and Automated Theorem Proving
ISBN-13: 9783540969884
ISBN-10: 3540969888
Binding: Hardcover
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published: 1989
Sorry, we could not find any active deals for this book. Please try at another time or try a different book.
As an Amazon Associate we earn from qualifying purchases.