Arceri, Vincenzo (Hrsg.)
Cortesi, Agostino (Hrsg.)
Ferrara, Pietro (Hrsg.)
Olliaro, Martina (Hrsg.)
Challenges of Software Verification
Beschreibung
Produktdetails
| ISBN/GTIN | 978-981-19-9601-6 |
|---|---|
| Seitenzahl | 264 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 5758 Kbytes |