Formal Methods for the Design of Real-Time Systems
- Författare
- and Software Systems Communication International School on Formal Methods for the Design of Computer
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin / Heidelberg | 2004 | Utgivningsland okänt / Ej specificerat |