Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Autor:
Zhiming Liu, Jifeng He
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
Kč
This book constitutes the refereed proceedings of the 8th International Conference on Formal Enginee...
