- 2 402 202 книги
- Поиск
libcats.org
Главная →
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Скачать книгу бесплатно (pdf, 2.53 Mb)
Читать «Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)»
Читать «Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Основы бухгалтерского учета -
Автор: Андросов А.М., Автор: Викулова Е.В.Категория: Экономика экономические науки
Размер книги: 11.18 Mb
Обустройство и освоение морских нефтегазовых месторождений
Автор: Вяхирев Р.И., Автор: Никитин Б.А., Автор: Мирзоев Д.А.Категория: GeoSciences, Field Engineering
Размер книги: 23.82 Mb
Mining Multimedia and Complex Data, KDD Workshop MDM-KDD 2002, PAKDD Workshop KDMCD 2002
Автор: Osmar R. Zaiane, Автор: Simeon Simoff, Автор: Chabane DjerabaКатегория: CsLn_
Размер книги: 7.26 Mb
Theory and Applications of Models of Computation, 4 conf., TAMC 2007
Автор: Jin-Yi Cai, Автор: S. Barry Cooper, Автор: Hong ZhuКатегория: CsLn_
Размер книги: 10.01 Mb
Инфекционные болезни
Автор: Лобзин Ю.В. (ред.)Категория: Медицина и здравоохранение
Размер книги: 1010 Kb
Communication Skills: Stepladders to success for the professional (2003)
Автор: Richard Ellis
Размер книги: 516 Kb
Геодезические работы в мелиоративном строительстве
Автор: Парамонова Е.Г., Автор: Юнусов А.Г.
Размер книги: 4.83 Mb
