The foundations of program verification

Loeckx, Jacques, Kurt Sieber und Ryan D. Stansifer:

ISBN 10: 3519021013 ISBN 13: 9783519021018
Verlag: Stuttgart : Teubner; Chichester; New York; Brisbane; Toronto; Singapore : Wiley, 1984
Sprache: Englisch
Zustand: Gebraucht Hardcover

Verkauft von Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland

AbeBooks-Verkäufer seit 12. Februar 2002

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Preis:
EUR 14,70
EUR 14,95 shipping
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen