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
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
Quantity: 1 available
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 5 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
Quantity: 1 available
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. 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
Quantity: 1 available
Stock Image
The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Published by
Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Pp. Condition: Gut. IX, 230 S. , 24 cm Sofort verfügbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550. Seller Inventory # 124332
Quantity: 1 available