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
|