1.
 |  | Title: Introduction to Formal Hardware Verification
by Thomas Kropf
ISBN: 3540654453
Publisher: Springer Verlag
Pub. Date: January, 2000
List Price: $59.95
Amazon.com Price: $59.95 |
2.
|  | Title: Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)
by Thomas Kropf, G. Goos, J. Hartmanis
ISBN: 3540634754
Publisher: Springer Verlag
Pub. Date: 15 January, 1997
List Price: $71.95
Amazon.com Price: $71.95 |
3.
|  | Title: Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, Tpcd '94 Bad Herrenalb, Germany, September 26-28, 1994: Proceedings (Lecture Notes in Computer Science, 901)
by Ramayya Kumar, Thomas Kropf
ISBN: 3540590471
Publisher: Springer Verlag
Pub. Date: April, 1995
List Price: $74.95
Amazon.com Price: $74.95 |
4.
|  | Title: Correct Hardware Design and Verification Methods: 10th Ifip Wg I 0.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (Lecture Notes in Computer Science 1703)
by Charme'9, G. Goos, J. Hartmanis, J. Van Leeuwen, L. Pierre, Pierre Laurence, Thomas Kropf
ISBN: 3540665595
Publisher: Telos Pr
Pub. Date: 15 December, 1999
List Price: $77.95
Amazon.com Price: $77.95 |
