Integrated Formal Methods: 5Th International Conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : Proceedings (Lecture notes in computer science, 3771)
- Författare
- Judi M.T. Romijn
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2005 | Utgivningsland okänt / Ej specificerat |