Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Zhiming Liu, Jifeng He (eds.)
Bok Engelsk 2006 International Conference on Formal Engineering Methods
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XII, 778 s. : ill.
|
| Emner | |
| ISBN | 3540474609. - 9783540474609
|
