Filtre: Springer Berlin, Heidelberg

Cărți de Thomas Kropf

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%