Baier, Christel (Autor)
Principles of Model Checking
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-262-26756-4 |
|---|---|
| Seitenzahl | 984 S. |
| Kopierschutz | Digital Rights Management |