FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings
J. C. P. Woodcock, P. G. Larsen (eds.)
Bok Engelsk 1993 International Symposium of Formal Methods Europe
| Utgitt | Berlin : Springer-Verlag , c1993
|
|---|---|
| Omfang | XI, 689 s. : ill.
|
| Emner | |
| ISBN | 0387566627. - 3540566627
|
