Theorem Provers in Circuit Design: Theory, Practice and Experience
Editat de Ramayya Kumar et al.
6 mar 1995
Paperback
Preț: 323.17 lei 403.96 lei
6-8 săpt.
-20%
Cărți de Thomas Kropf
Formal Hardware Verification
Editat de Thomas Kropf
27 aug 1997
Paperback
Preț: 326.68 lei 408.36 lei
6-8 săpt.
-20%