Hoppa till sidans huvudinnehåll

Thomas Kropf - Böcker

Visar alla böcker från författaren Thomas Kropf.
6 produkter

Kommunikative Funktionen Des Dialekts Im Unterricht

Theorie Und PRAXIS in Der Deutschen Schweiz

AvThomas Kropf

Inbunden, Tyska, 1986

1 999 kr

Skickas inom 5-8 vardagar

Theorem Provers in Circuit Design: Theory, Practice and Experience

Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

AvRamayya Kumar,Thomas Kropf

Häftad, Engelska, 1995

689 kr

Skickas inom 10-15 vardagar

Formal Hardware Verification

Methods and Systems in Comparison

AvThomas Kropf

Häftad, Engelska, 1997

709 kr

Skickas inom 10-15 vardagar

Introduction to Formal Hardware Verification

AvThomas Kropf,Thomas Kropf

Inbunden, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar

Correct Hardware Design and Verification Methods

10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

AvLaurence Pierre,Thomas Kropf

Häftad, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar

Introduction to Formal Hardware Verification

AvThomas Kropf

Häftad, Engelska, 2010

689 kr

Skickas inom 10-15 vardagar