Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
Dieter Hutter ... [et al.] (eds.)
Bok Engelsk 1999 International Workshop on Current Trends in Applied FormalMethods
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | XI, 376 s. : ill.
|
| Emner | |
| ISBN | 3540664629
|
