Verwandte Artikel zu The Foundations of Program Verification
Inhaltsangabe
and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science 1984 IX, 230 S. , 24 cm Pp. Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley,
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für The Foundations of Program Verification
Foto des Verkäufers
The foundations of program verification
ISBN 10: 3519021013
ISBN 13: 9783519021018
Gebraucht
Hardcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 314508
Gebraucht kaufen
EUR 14,70
EUR 42,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The foundations of program verification (Wiley-Teubner series in computer science) [Board book]
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible. Bestandsnummer des Verkäufers 005808-10
Gebraucht kaufen
EUR 54,82
EUR 29,28 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar