"K K Breitman; Ana Cavalcanti" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)

Karin Breitman, Ana Cavalcanti

Категория: Техника

13.82 Mb

#2

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

K K Breitman; Ana Cavalcanti

Категория: Cs_Computer science, CsLn_Lecture notes

13.88 Mb