"Corina S. Pasareanu" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

#1

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Corina S. Pasareanu

Категория: Компьютеры

4.58 Mb

#2

Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009; proceedings

Corina S. Pasareanu

6.14 Mb