"Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings"

Författare
International Conference on Integrated Formal Methods
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
2012 Utgivningsland okänt / Ej specificerat