Theorem Provers in Circuit Design: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1995)

All listings for this product