Kourie, Derrick G. (Autor)
Watson, Bruce W. (Autor)
The Correctness-by-Construction Approach to Programming
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-642-27919-5 |
|---|---|
| Seitenzahl | 273 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3367 Kbytes |