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

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 9783540000297 | ISBN 3-540-00029-1 | ISBN 978-3-540-00029-7

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