Yazar
Thomas Kropf
6 cilt bulundu.
Cilt sonuçları
Introduction to Formal Hardware Verification
Thomas Kropf · Springer Berlin Heidelberg
299 sayfa · 1999
Computer hardware / Electronics / Computer science / Artificial intelligence / Integrated circuits
Introduction to Formal Hardware Verification
Thomas Kropf · Springer
299 sayfa · 1999
Very large scale integration / Computer-aided design / Verification / Integrated circuits / Computer input-output equipment
Formal hardware verification
Thomas Kropf, Gerhard Goos, Juris Hartmanis · Springer
367 sayfa · 1997
Very large scale integration / Formal methods (Computer science) / Computer-aided design / Verification / Integrated circuits
These girls
Juliane Streich, Jennifer Ressel, Jasper Nicolaisen, Sven Kabelitz, Eileen Reukauf, Klaus Walter, · Ventil Verlag