libcats.org
Главная →
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)
Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
#4
НФ: Альманах научной фантастики. Выпуск 7
Ларионова Ольга, Парнов Еремей, Емцев Михаил, Щербаков Владимир, Филановский Григорий, Мирер Александр, Абрамов Александр, Абрамов Сергей, Фирсов Владимир, Григорьев Владимир, Андерсон Пол, Хайнлайн Роберт, Бестужев-Лада Игорь, Кнорре Елена
#5
И грянул гром… (Том 4-й дополнительный)
Ирвинг Вашингтон, По Эдгар, Роудс Уильям, Бирс Амброз, Беллами Эдуард, Твен Марк, Кэмпбелл Джон, дель Рей Лестер, Вейнбаум Стенли, Лейнстер Муррей, Пэджетт Льюис, ван Фогт Альфред Э, Хайнлайн Роберт, Азимов Айзек, Саймак Клиффорд, Старджон Теодор, Шекли Р
|