FME '97 Industrial Applications and Strengthened Foundations of Formal Methods electronic resource : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas
- Författare
- International Symposium of Formal Methods Europe
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |