Current Trends in Hardware Verification and Automated Theorem Proving

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

Sell this book Buy or Rent?

Sorry, there are no active offers for this book. There's one more platform you can check out.

Check it out

As an Amazon Associate we earn from qualifying purchases.