9780444896865 - theorem provers in circuit design: proceedings of the ifip tc10/wg10.2 international conference on theorem provers in circuit design : theory, pract: ... a, computer science and technology, a-10) von ifip tc10/wg10.2 international conference on theorem provers in circuit design: theory, practice, and experience (1992 : nijmegen, netherlands); melham, t. f.; stavridou, v. (1 Ergebnisse)

- Softcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 73,92
EUR 3,85 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 24 (weekend SALE item)* 360 pp., softcover, ex library, else textually clean & tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional dut…ies, taxes, or fees required by recipient's country.