Theorem Provers in Circuit Design: Theory, Practice and Experience
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Autor:
Thomas Kropf, Ramayya Kumar
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...