Industrial-strength formal methods - proceedings
- Författare
- Formal Methods Europe
- (FME '93, first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 J.C.P. Woodcock, P.G. Larsen (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | 689 sidor. ill. |