"Formal Methods for Model-Driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures"
- Författare
- Marco Bernardo
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2012 | Utgivningsland okänt / Ej specificerat |