"FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings"
- Författare
- International Symposium of Formal Methods Europe
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1996 | Utgivningsland okänt / Ej specificerat |