Items related to The foundations of program verification (Wiley-Teubner...
- ISBN 10 3519021013
- ISBN 13 9783519021018
- BindingBoard book
Top Search Results from the AbeBooks Marketplace
Seller Image
The foundations of program verification
Published by
Teubner [u.a.], Stuttgart [u.a.]
(1984)
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Sehr gut. 23,5cm IX.; 230. Hardcover. Sprache: Englisch, Zustand: Sehr Gut; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt. Seller Inventory # 78243
Buy Used
£ 11.64
Convert currency
Seller Image
The foundations of program verification. Jacques Loeckx 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
Hardcover
Quantity: 1
Seller:
Rating
Book Description IX, 230 S. ; 23,5 x 15,5 cm. Zustand: gut, normale Gebrauchs- und Alterungsspuren, etwas nachgedunkelt, durchgekritzelter Name auf Innentitel, Einband etwas berieben. 31c Sprache: Englisch Gewicht in Gramm: 520 Hardcover/Pappeinband, gebundene Ausgabe. Seller Inventory # 52456
Buy Used
£ 17.51
Convert currency
Seller Image
The Foundations of Program Verification
Published by
Vieweg & Teubner
(1984)
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Hardcover
Quantity: 1
Seller:
Rating
Book Description gebundene Ausgabe. Condition: Gut. 230 Seiten Schnitt und Einband sind leicht staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. ENGLISCH. Sprache: Englisch Gewicht in Gramm: 520. Seller Inventory # 1720583
Buy Used
£ 43.73
Convert currency
Stock Image
The foundations of program verification (Wiley-Teubner series in computer science)
Seller:
Rating
Book Description 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
Convert currency
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
Hardcover
Quantity: 1
Seller:
Rating
Book Description 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
Buy Used
£ 50.08
Convert currency