Thomas Kropf

9 books

Introduction to Formal Hardware Verification

by Thomas Kropf

3.00 of 1

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)

by Thomas Kropf

0.0 of 0

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz (Reihe Germanistische Linguistik, 67) (German Edition)

by Thomas Kropf

0.0 of 0

Geschichte in hundertundeiner Geschichte

by Thomas Kropf

0.0 of 0

Formal Hardware Verification: Methods and Systems in Comparison

by Thomas Kropf

0.0 of 0

Geschichte in hundertundeiner Geschichte

by Thomas Kropf

0.0 of 0

[Introduction to Formal Hardware Verification] [Author: Kropf, Thomas] [October, 1999]

by Thomas Kropf

0.0 of 0

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science, 1703)

by Laurence Pierre

0.0 of 0

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science, 901)

by Ramayya Kumar

0.0 of 0