Theorem Provers in Circuit Design: Theory, Practice and Experience: Second Inter
67,31 €
2 in Bad Herrenalb, Germany in September 1994. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included. Short Title THEOREM PROVERS IN CIRCUIT DES.
Jetzt bei Ebay:
