Theorem Provers in Circuit Design: Theory, Practice and Experience
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Szerző:
Thomas Kropf, Ramayya Kumar
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 729
Ft
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...
