Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Autor:
Jin Song Dong, Huibiao Zhu
Dostępność:
Dostępna u dostawcy
Wysyłamy za 9-15 dni
475.76
zł
This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine...