Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings | ISBN 9783540361039

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

herausgegeben von Chris George und Huaikou Miao
Mitwirkende
Herausgegeben vonChris George
Herausgegeben vonHuaikou Miao
Buchcover Formal Methods and Software Engineering  | EAN 9783540361039 | ISBN 3-540-36103-0 | ISBN 978-3-540-36103-9

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

herausgegeben von Chris George und Huaikou Miao
Mitwirkende
Herausgegeben vonChris George
Herausgegeben vonHuaikou Miao
Includes supplementary material: sn. pub/extras