George C., Miao H. — Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Авторы: George C., Miao H.
Аннотация:
Proceedings of the 4th International Conference on Formal Engineering Methods, ICFEM 2002, held October 21-25, 2002 in Shanghai, China. Softcover.
|
|
О проекте