Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Автор:
Karin Breitman, Ana Cavalcanti
Наличност:
Външен склад
Изпращаме след 5-8 дни
105.43
€
206.21 лв
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine...