FME '97: Industrial applications and strengthened foundations of formal methods - proceedings
- Författare
- Formal Methods Europe
- (4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 John Fitzgerald ... (eds.).)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | xiii, 684 sidor. ill. | |
| Springer Berlin Heidelberg | 1997 | Utgivningsland okänt / Ej specificerat |