" Jaco C. van de Pol" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Автор: Lubos Brim, Автор: Boudewijn Haverkort, Автор: Martin Leucker, Автор: Jaco van de Pol

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

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

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Автор: Judi M.T. Romijn, Автор: Graeme P. Smith, Автор: Jaco C. van de Pol

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