libcats.org
Главная →

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Обложка книги Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

,
Популярные книги за неделю:
#4

ВАЗ 2110i, -2111i, -2112i
Категория: civil, civil, transport
57.35 Mb
Только что пользователи скачали эти книги: