Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Författare
Michael Leuschel
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Verlag 2009 Utgivningsland okänt / Ej specificerat