Program Verification. (= International Computer Science Series). Francez, Nissim
14,80 €
Wokingham etc.: Addison-Wesley, 1992. 312 pages. Hardcover/Pappeinband. Sprache: Englisch ISBN: 0201416085 EAN: 9780201416084 Bestell-Nr: 17624 Bemerkungen: Good. Former library copy with usual markings. Apart from that inside clean. Cover slightly used (with price-label). .
Jetzt bei Ebay:
