"Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings"

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