Cărți de Thomas Kropf

Introduction to Formal Hardware Verification

Autor Thomas Kropf

16 oct 1999

Preț: 336^.02 lei 420^.02 lei

6-8 săpt.

-20%

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1703

Editat de Laurence Pierre et al.

15 sep 1999

Preț: 336^.86 lei 421^.08 lei

6-8 săpt.

-20%

Formal Hardware Verification: Methods and Systems in Comparison

Lecture Notes in Computer Science, nr. 1287

Editat de Thomas Kropf

27 aug 1997

Preț: 335^.18 lei 418^.98 lei

6-8 săpt.

-20%

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 901

Editat de Ramayya Kumar et al.

6 mar 1995

Preț: 333^.72 lei 417^.15 lei

6-8 săpt.

-20%

Kommunikative Funktionen des Dialekts im Unterricht: Theorie und Praxis in der deutschen Schweiz

Reihe Germanistische Linguistik, nr. 67

Autor Thomas Kropf

31 dec 1985

Preț: 856^.02 lei 1111^.72 lei

6-8 săpt.

-23%