"Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings"
- Författare
- International Conference on Integrated Formal Methods
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2000 | Utgivningsland okänt / Ej specificerat |