Cărți de Thomas Kropf

Correct Hardware Design and Verification Methods

Editat de Laurence Pierre et al.

15 sep 1999

Preț: 325^.69 lei 407^.10 lei

6-8 săpt.

-20%

Introduction to Formal Hardware Verification

Autor Thomas Kropf

16 oct 1999

Preț: 323^.23 lei 404^.04 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ț: 321^.03 lei 401^.30 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ț: 322^.43 lei 403^.04 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ț: 822^.81 lei 1068^.59 lei

6-8 săpt.

-23%