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
|
