The Foundations of Program Verification (Series in Computer Science) Loeckx, Jac
Ø 0.0
0 Bewertungen
18,40 €
9783519121015.
Jetzt bei Ebay:
-
EAN:9783519121015
-
ISBN:3519121018
-
Thematik:Logik, Sprachen
-
Verlag:Vieweg+Teubner Verlag
-
Erscheinungsjahr:02.1987
-
Autor:Loeckx, Jacques, Kurt Sieber und Ryan Stansifer
-
Buchtitel:The Foundations of Program Verification (Series in Computer Scie
-
Sprache:Deutsch
-
Format:hardcover
-
Genre:Bücher
-
Produktart:Bücher
-
Sparversand:Deutsche Post Warensendung kostenlos - Lieferung zwischen 21. May 2025 und 27. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Amerika, Europa, Australien
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Neuseeland , Mikronesien , Fidschi , Papua-Neuguinea , Salomonen , ... und weitere