Introducing Software Verification with Dafny Language: Proving Program Correctne
Ø 0.0
0 Bewertungen
17,79 €
Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben. Cover und/oder Hüllen können abweichend sein. eine Lösung finden können. Buch in neuwertigem Zustand mit unbenutztem Einband, teilweise bereits gelesen.
Jetzt bei Ebay:
-
Produktart:Bücher
-
ISBN-10:1484279778
-
ISBN-13:9781484279779
-
Buchtitel:Introducing Software Verification with Dafny Langu
-
Untertitel:Proving Program Correctness
-
Autor:Boro Sitnikovski
-
Erscheinungsjahr:März 2022
-
Verlag:Apress
-
Format:Taschenbuch
-
Sprache:Englisch
-
Höhe:0.9 cm
-
Gewicht:242 g
-
Länge:23.5 cm
-
Breite:15.5 cm
-
ISBN:1484279778
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 23. June 2025 und 23. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere