Theorem Provers in Circuit Design

Theorem Provers in Circuit Design : Theory, Practice, and Experience: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28, 1994: Proceedings

  • Hardback

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Hardback | 303 pages
  • Springer
  • United States
  • 0387590471
  • 9780387590479