Ben-Ari, Mordechai (Autor)
Principles of the Spin Model Checker
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-84628-770-1 |
|---|---|
| Seitenzahl | 216 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 1865 Kbytes |