VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Boro Sitnikovski
Introducing Software Verification with Dafny Language
- Untertitel
- Proving Program Correctness
- Verlag
- APRESS
- ISBN/EAN
- 978-1-4842-7977-9
- Preis
- 35,30 EUR
- Status
- lieferbar
