Rigorous Software Development
An Introduction to Program Verification
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-85729-018-2 |
|---|---|
| Seitenzahl | 307 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 2774 Kbytes |