Sitnikovski, Boro (Autor)
Introducing Software Verification with Dafny Language
Proving Program Correctness
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4842-7978-6 |
|---|---|
| Seitenzahl | 131 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 2597 Kbytes |