Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)

Författare
Netherlands) 2005 : (5th International Conference on Integrated Formal Methods Eindhoven
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer uuuu-uuuu Utgivningsland okänt / Ej specificerat