Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Autor:
Shengchao Qin, Zongyan Qiu
Dostupnost:
Skladem u dodavatele
Odesíláme za 8-11 dnů
1 147
Kč
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine...
