Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
Bok Engelsk 2004 IFM 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XI, 540 s. : ill.
|
| Emner | |
| ISBN | 3540213775
|
