Showing 1 - 2 of 2 Results
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
2.
Theorem Provers in Circuit Design by Kumar, Ramayya, Kropf, Thomas ISBN: 9783662172155 List Price: $24.99