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

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

#1

Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Michael Leuschel, Heike Wehrheim

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

10.61 Mb

#2

Integrated Formal Methods, 7 conf., IFM 2009

Michael Leuschel, Heike Wehrheim

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

5.05 Mb

#3

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006,

Roberto Gorrieri, Heike Wehrheim

3.98 Mb