Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Bok Engelsk 2002 IFM 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | X, 399 s. : ill.
|
| Emner | |
| ISBN | 3540437037
|
