FM 2005 : formal methods : International Symposium of Formal MethodsEurope, Newcastle, UK, July 18-22, 2005 : proceedings
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
Bok Engelsk 2005 International Symposium of Formal Methods Europe
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XIV, 558 s. : ill.
|
| Emner | |
| ISBN | 3540278826. - 9783540278825
|
