Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005 : proceedings
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Bok Engelsk 2005 IFM 2005
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | XI, 405 s. : ill.
|
Emner | |
ISBN | 3540304924. - 9783540304920
|