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
|