Showing 1 - 15 of 15 Results
1.
Formal Hardware Verification Methods and Systems in Comparison by Kropf, Thomas, Goos, G., Ha... ISBN: 9783540634751 List Price: $79.95
2.
Introduction to Formal Hardware Verification by Kropf, Thomas ISBN: 9783540654452 List Price: $109.00
3.
Introduction to Formal Hardware Verification by Kropf, Thomas ISBN: 9783642084775 List Price: $109.00
4.
Correct Hardware Design and Verification Methods 10th Ifip Wg I 0.5 Advanced Research Workin... by Pierre, Laurence, Kropf, Th... ISBN: 9783540665595 List Price: $79.95
5.
Mathetiger 4 by Martina Kinkel-Craciunescu,... ISBN: 9783619455607
6.
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4 by Matthias Heidenreich, Marti... ISBN: 9783619355693
7.
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4 by Martina Kinkel-Craciunescu,... ISBN: 9783619355600
8.
Mathetiger 3 - Neubearbeitung Buchausgabe - Klasse 1 bis 4 by Matthias Heidenreich, Marti... ISBN: 9783619355662
10.
Theorem Provers in Circuit Design : Theory, Practice, and Experience: Proceedings of the Sec... by Kumar, Ramayya, Kropf, Thomas ISBN: 9780387590479 List Price: $56.00
11.
Formal Hardware Verification by Kropf, Thomas ISBN: 9783662174937 List Price: $24.99
12.
Theorem Provers in Circuit Design by Kumar, Ramayya, Kropf, Thomas ISBN: 9783662172155 List Price: $24.99
13.
Introduction to Formal Hardware Verification by Kropf, Thomas ISBN: 9783662038109 List Price: $24.99
14.
Correct Hardware Design and Verification Methods by Pierre, Laurence, Kropf, Th... ISBN: 9783662197691 List Price: $24.99