Automated theorem proving in software engineering

libcats.org

Главная →

Johann M Schumann

Скачать книгу бесплатно (djvu, 2.64 Mb)

Читать «Automated theorem proving in software engineering»

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

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

1.03 Mb

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

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

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

1.40 Mb

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

Вознюк В.В.

1.99 Mb

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

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

12.41 Mb

Детали машин. Краткий курс и тестовые задания

Олофинская В.П.

Категория: science, technical, civil, engineer, civil, tech, civil

27.33 Mb

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

Роман Савин

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

5.26 Mb

Путь к здоровью и долголетию

Горен Михаэль

Категория: Здоровье

1.13 Mb

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

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

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

818 Kb

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

Тарасов Б.В.

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

41.91 Mb

#10

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

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

10.14 Mb

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

Химические источники тока. Учебное пособие для хим.-технол. специальностей вузов

Авторы: В.Н.Варыпаев, М.А.Дасоян, В.А.Никольский. Под ред. В.Н.Варыпаева.

Категория: Химические науки. Химическое производство.

1.71 Mb

Электрохимическая технология неорганических веществ и химические источники тока. Учебник для учащихся техникумов

Авторы: С.А.Зарецкий, В.Н.Сучков, П.Б.Животинский.

Категория: Химические науки. Химическое производство.

5.34 Mb

Технология производства синтетических моющих средств. Учебное пособие для ПТУ

Авторы: В.М.Ковалев, Д.С.Петренко.

Категория: Химические науки. Химическое производство.

2.62 Mb

Физико-химические основы производства радиоэлектронной аппаратуры

Иванов-Есипович Н. К.

Категория: технические науки, Электроника, радиотехника, связь

2.57 Mb

Дистанционное зондирование: количественный подход

Категория: География геология геодезия Научно-техническая литература

22.64 Mb

История открытия химических элементов (краткие очерки)

Диогенов Геннадий Герасимович

Категория: Химические науки. Химическое производство.

4.88 Mb

Строительство дома от А до Я

Наталья Коршевер (Ред.)

Категория: info, encyc, , civil, building,

9.46 Mb

Энциклопедия магии и волшебства в книгах Джоан Роулинг.

Залесская М.К

2.82 Mb

Можно ли сделать золото? Мошенники, обманщики и ученые в истории химических элементов. (Kann man gold machen? Gauner, gaukler und gelehrte aus der geschichte der chemischen elemente, 1979) . Научно-популярное издание

Гофман Клаус, Перевод с немецкого Е.М.Маршак. Под редакцией Ю.Н.Кукушкина. Издание второе, стереотипное.

Категория: Химические науки. Химическое производство.

6.84 Mb

#10

Классическая электродинамика: Учебное пособие

Яковлев В.И.

Категория: Электричество и магнетизм

1.80 Mb