FME '96, Industrial Benefit and Advances in Formal Methods - proceedings
- Författare
- Formal Methods Europe
- (Third international symposium of formal methods Europe, co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 Marie-Claude Gaudel, James Woodcock (eds.).)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1996 | Tyskland, Berlin | 701 sidor. ill. 24 cm |