Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))

libcats.org

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

Читать «Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))»

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

В.Н.Носов. Полупроводники и их применение (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

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

Французский язык с Маленьким Принцем

de Saint-Exupery Antoine

Категория: Сказка, Языкознание

1.04 Mb

Crimes by Moonlight

Harris Charlaine, Krueger William Kent, Maron Margaret, Dubois Brendan, Kozak Harley Jane, Hubbard S. W., Somers Jeffrey, Viets Elaine, D’Amato Barbara, Kemp Lou, Meyers Martin, Moran Terrie Farley, Fredrickson Jack, Brewer Steve, Wiecek Mike, Cameron Dan

Категория: Триллер

775 Kb

А.Бартенев. Модуль дополнительного ОЗУ (Моделист-конструктор, ЮТ-88)

78 Kb

Работа с ребёнком в образовательной среде. решение задач и проблем развития. Научно-методическое пособие для психологов и педагогов

Битянова М.Р.

326 Kb

Неравенства в механике и физике

Дюво Г., Лионс Ж.-Л.

9.31 Mb

Русская грамматика. в 2х томах

Шведова Н.Ю.

Категория: society

15.25 Mb

Словарь строительных материалов и изделий для студентов строительных специальностей

Щукина Е.Г., Архинчеева Н.В.

Категория: Строительство. Архитектура

845 Kb

Class Struggles in the USSR Second Period: 1923-1930

Charles Bettelheim

6.97 Mb

When Iron-Arm McPherson Took the Mound

Resnick Mike

Категория: fiction

8 Kb

#10

The Food of a Younger Land

Kurlansky Mark

Категория: fiction

2.05 Mb