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 |