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

Integrated Formal Methods, 4 conf., IFM 2004

 Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 9.89 Mb

Mathematics of Program Construction, 6 conf., MPC 2002

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.50 Mb