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)

,
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: