FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings / John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)

Författare
England) 2005 : (13th International Symposium of Formal Methods Europe Newcastle upon Tyne
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer uuuu-uuuu Utgivningsland okänt / Ej specificerat