Items related to The foundations of program verification (Wiley-Teubner...
Search results for The foundations of program verification (Wiley-Teubner...
Seller Image
The foundations of program verification.
Published by
Stuttgart [Germany], B.G. Teubner; Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Condition: Gut. ix, 230 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03362 3519021013 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513055
Seller Image
The foundations of program verification
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. 230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000. Seller Inventory # 314508
Stock Image
The foundations of program verification (Wiley-Teubner series in computer science) [Board book]
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 4 out of 5 stars
Condition: Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible. Seller Inventory # 005808-10
Buy Used
£ 45.45
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available