"Marcel Vinícius Medeiros Oliveira" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

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

#1

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Marcel Vinícius Medeiros Oliveira, Jim Woodcock

3.83 Mb

#2

Formal Methods: foundations and Applications, 12 conf., SBMF2009

Marcel Vinícius Medeiros Oliveira, Jim Woodcock

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

3.55 Mb