2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: Third International Workshop, WSA '93, ... 3rd
Patrick Cousot
,
Moreno Falaschi
,
Gilberto File
,
Antoine Rauzy
2.65 Mb
#2
Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: Sixth International Symposium, SAS '99, ... 6th
Agostino Cortesi
,
Gilberto File
2.96 Mb