"World Congress on Formal Methods in the Development of Computing Systems" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2

Автор: World Congress on Formal Methods in the Development of Computing Systems

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

FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 1

Автор: Jeannette M. Wing, Автор: Jim Woodcook, Автор: Jim Davies

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