1.
Theorem Provers in Circuit Design : Theory, Practice, and Experience: Proceedings of the Sec...
by Kumar, Ramayya, Kropf, Thomas
ISBN: 9780387590479
List Price: $56.00
OUT OF STOCK
See Availability on Amazon2.
Theorem Provers in Circuit Design
by Kumar, Ramayya, Kropf, Thomas
ISBN: 9783662172155
List Price: $24.99