Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Bok Engelsk 2000 IFM 2000
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | X, 439 s. : ill.
|
| Emner | |
| ISBN | 3540411968
|
