Thomas Kropf

Thomas Kropf

6 results found
List viewGrid view
Sort By:
1.
Introduction to Formal Hardware Verification37 %
No Review Yet
₹4,800
₹3,024
Binding:
Hardback
Release:
16 Oct 1999
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Introduction to Formal Hardware Verification37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
09 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Theorem Provers in Circuit Design: Theory, Practice and Experience48 %
Publisher: Springer
No Review Yet
₹7,237
₹3,763
Binding:
Paperback
Release:
06 Mar 1995
Language:
English
Available
Ships within 1-2 Days Explain..
4.
Correct Hardware Design and Verification Methods38 %
Publisher: Springer
No Review Yet
₹7,576
₹4,697
Binding:
Paperback
Release:
15 Sep 1999
Language:
English
Available
Ships within 2-4 Days Explain..
No more records found