Articles liés à Foundations of Program Verification
Résultats de recherche pour Foundations of Program Verification
Image fournie par le vendeur
The foundations of program verification
ISBN 10 : 3519021013
ISBN 13 : 9783519021018
Ancien ou d'occasion
Couverture rigide
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 314508
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The foundations of program verification.
Edité par
Stuttgart [Germany], B.G. Teubner; Wiley, 1984
ISBN 10 : 3519021013
ISBN 13 : 9783519021018
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 2513055
Quantité disponible : 1 disponible(s)
Image d'archives
The foundations of program verification (Wiley-Teubner series in computer science) [Board book]
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible. N° de réf. du vendeur 005808-10
Quantité disponible : 1 disponible(s)
Image d'archives
The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
ISBN 10 : 3519021013
ISBN 13 : 9783519021018
Ancien ou d'occasion
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Pp. Etat : 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. N° de réf. du vendeur 124332
Quantité disponible : 1 disponible(s)