Inverse Method: Parametric Verification of Real-time Embedded Systems
- Författare
- Etienne André
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2013 | Utgivningsland okänt / Ej specificerat |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2013 | Utgivningsland okänt / Ej specificerat |