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

Booksee.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

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

Противостояние

Шидловский Дмитрий

Категория: Альтернативная история

1.20 Mb

Некоторые применения гармонического анализа. Оснащенные гильбертовы пространства. (Обобщенные функции)

Гельфанд И.М., Виленкин Н.Я.

Категория: Mathematics, Calculus, Functional analysis

4.71 Mb

Практика функционального программирования 02-2009

Категория: Компьютерные науки, Языки программирования

1.39 Mb

Язык программирования Clarion 5.0

Категория: Компьютерная литература, 1 языки прогр, Прочие языки программирования

1.25 Mb

Введение в нейро-лингвистическое программирование. Как понимать людей и как оказывать влияние на людей

О`Коннор Джозеф

Категория: Нейро-лингвистическое программирование

527 Kb

Магия нейролингвистического программирования без тайн

Пьюселик Фрэнк

Категория: Нейро-лингвистическое программирование

630 Kb

Интенсивный курс программирования в Access 2003 за выходные

Керри Н. Праг, Дженнифер Рирдон, Лоренс С. Казевич, Дайана Рид, П. В. Фэн

Категория: Языки программирования

101.11 Mb

Порошковая металлургия

Кипарисов С.С.

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

7.22 Mb

Cisco ICND 2 Руководство для студента

Cisco

Категория: СЕТЕВЫЕ ТЕХНОЛОГИИ

93.80 Mb

#10

Беседа

Katya Nemo

Категория: Поэзия