Name: Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... Notes in Computer Science, 901, Band 901)
Brand: Springer Berlin Heidelberg
SKU: ID12537545
Availability: InStock

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... Notes in Computer Science, 901, Band 901)

53.24 EUR 0% Off 53.49 EUR

Ein kompakter Leitfaden zur formalen Verifikation von Schaltkreisen, der theoretische Modelle mit praxisnahen Fallstudien verbindet und die Erkenntnisse der zweiten TPCD-Konferenz in Bad Herrenalb zusammenfasst.

Marke: Springer Berlin Heidelberg

ISBN: 3540590471

MPN: 6903005