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
|