FME '93: Industrial-Strength Formal Methods electronic resource : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / edited by James C.P. Woodcock, Peter G. Larsen
- Författare
- Denmark) 1993 : (1st International Symposium of Formal Methods Europe Odense
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |