STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Thomas Kropf | lit.salon
Thomas Kropf
No bio available.
Add one in Open Library.
Books by Thomas Kropf (50 max)
+ shelf
+ list
Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz
1986
Thomas Kropf
+ shelf
+ list
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science)
1997
Thomas Kropf
+ shelf
+ list
Formal hardware verification: methods and systems in comparison
1997
Thomas Kropf, Gerhard Goos, Juris Hartmanis
+ shelf
+ list
Introduction to Formal Hardware Verification
1999
Thomas Kropf
+ shelf
+ list
Introduction to Formal Hardware Verification
1999
Thomas Kropf
+ shelf
+ list
Correct Hardware Design and Verification Methods 10th IFIP WG10. 5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
2003
Laurence Pierre, Thomas Kropf
