Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Einführung in die Softwareverifizierung mit Dafny Language: Nachweis der Korrektion des Programms...

Ø 0.0
0 Bewertungen
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: