Verification of sequential and concurrent programs

Booksee.org

Главная →

Apt K.R., de Boer F.S., Olderog E.-R. (eds.)

Скачать книгу бесплатно (pdf, 2.10 Mb) | Читать «Verification of sequential and concurrent programs»

EPUB | FB2 | MOBI | TXT | RTF

* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.

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

В.Н.Носов. Полупроводники и их применение (1968, djvu)

1.03 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

Радиолюбительские конструкции

Вознюк В.В.

1.99 Mb

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

Английский школьникам. Тренажер по чтению. Буквы и звуки

Е. В. Русинова

12.41 Mb

Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах

Роман Савин

Категория: info, manual, computers, computers, manuals

5.26 Mb

Система упражнений по развитию способностей человека (Практическое пособие)

Петров Аркадий Наумович

Категория: Путь к себе

818 Kb

Самоделки школьника

Тарасов Б.В.

Категория: science, science, technical, hobby, oddjob

41.91 Mb

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

#10

Тренажер по математике к учебнику Л.Г.Петерсон. 2 класс

МАРКО ПОЛО

Категория: ДЛЯ ДЕТЕЙ, НАУКА и УЧЕБА

173.06 Mb

Только что пользователи скачали эти книги:

Подавление литературы

Оруэлл Джордж

Категория: Классическая проза

122 Kb

Писатели и Левиафан

Оруэлл Джордж

Категория: Публицистика, Классическая проза

107 Kb

Рецензия на «Майн кампф» Адольфа Гитлера

Оруэлл Джордж

Категория: Публицистика

36 Kb

Танк Т-80. Техническое описание и инструкция по эксплуатации

Категория: Военная техника

92.56 Mb

Травматология и ортопедия Том 3

Корнилов Н. В.

Категория: people, people, health

17.40 Mb

Рисунок пером и тушью: линия, фактура, цвет

Глассфорд К. (пер.с англ.Герасиной О.)

Категория: color, color, paint

11.58 Mb

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)

L. M. G. Feijs, H. B. M. Jonkers

1.52 Mb

Атлас для экспериментального исследования отклонений в психической деятельности человека

Л. А. Булахова, А. Е. Видренко, Т. М. Городкова, В. Г. Коротоножкин, Е. А. Рушкевич, В. С. Шапошников

Категория: КНИГИ ПСИХОЛОГИЯ

7.50 Mb

Абонентские терминалы и компьютерная телефония

Иванова Т.И.

Категория: инфокоммуникационные технологии и вычислительные системы

2.71 Mb

#10

Heimskringla Magnus Erlingson's Saga

Категория: fiction

74 Kb