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

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

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

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

Автор: Marcel Vinícius Medeiros Oliveira, Автор: Jim Woodcock

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

Размер книги: 3.55 Mb