Introducing Software Verification with Dafny Language: Proving Program Correctness - Boro Sitnikovski - Bücher - APress - 9781484279779 - 1. März 2022
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Introducing Software Verification with Dafny Language: Proving Program Correctness 1st edition


Möchtest Du eine E-Mail, sobald der Artikel verfügbar ist?
Hast du ein Profil? Anmelden
Benachrichtigungen über neue Veröffentlichungen von Boro Sitnikovski erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

131 pages, 104 Illustrations, black and white; XX, 131 p. 104 illus.

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 1. März 2022
ISBN13 9781484279779
Verlag APress
Seitenanzahl 131
Maße 150 × 220 × 10 mm   ·   222 g
Sprache Englisch  

Mehr vom selben Verlag