- 2 402 202 книги
- Поиск
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
Скачать книгу бесплатно (pdf, 2.36 Mb)
Читать «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)»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Microeconometrics. Methods and applications
Автор: A. Colin Cameron, Автор: Pravin K. Trivedi
Размер книги: 5.50 Mb
Inorganic Polymeric Nanocomposites And Membranes
Автор: O. Becker, Автор: B. Boutevin, Автор: F. Guida-Pietrasanta, Автор: N. Hasegawa, Автор: M. Klapper, Автор: P.V. Kostoglodov, Автор: D. Likhatchev, Автор: K. Müllen, Автор: M. Kato, Автор: A.L. Rusanov, Автор: G.P. Simon, Автор: A. UsukiКатегория: Химия
Размер книги: 6.92 Mb
Микропроцессоры
Автор: Токхайм Р.Категория: 1810122-Много книг по электронике
Размер книги: 2.20 Mb
Der Tonwille: Pamphlets in Witness of the Immutable Laws of Music Volume I: Issues 1-5 (1921-1923)
Автор: the late Heinrich Schenker, Автор: William Drabkin
Размер книги: 2.29 Mb
Panzerspahwagen In Action
Автор: Uwe Feist, Автор: Mike DarioКатегория: Third Reich an other combatant
Размер книги: 18.84 Mb
Malliavin Calculus with Applications to Stochastic Partial Differential Equations
Автор: Marta Sanz-SoleКатегория: Математика, Дифференциальные уравнения
Размер книги: 1.02 Mb
Shades of Gray
Автор: Kessler Jackie, Автор: Kittredge CaitlinКатегория: fiction
Размер книги: 2.11 Mb