Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Kung-Kiu Lau, Richard Banach (eds.)
Bok Engelsk 2005 International Conference on Formal Engineering Methods
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XIV, 496 s. : ill.
|
| Emner | |
| ISBN | 3540297979. - 9783540297970
|
