Craigen, Dan (Autor)
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4377-2817-0 |
|---|---|
| Seitenzahl | 318 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 36487 Kbytes |