Author: KUMAR, RAMAYYA; KROPF, THOMAS (EDS.)
Title: Theorem Provers in Circuit Design: Theory, Practice and Experience
Description: New York, Springer-Verlag, 1995. Ed.: Reprint. Paperback. ISBN: 9783540590477. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 901 This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organiz. Very Good/Wraps.

Keywords: Engineering 9783540590477


See more books from our catalog: Engineering