Einführung in die Softwareverifizierung mit Dafny Language: Nachweis der Korrektion des Programms...
24,77 €
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. Writing correct software can be hard, so you'll learn the concept of computation and software verification.
Jetzt bei Ebay: