Booksee.org

Formal Specification and Documentation Using Z: A Case Study Approach

Нет обложки

Formal Specification and Documentation Using Z: A Case Study Approach

Jonathan Bowen

Скачать книгу бесплатно (pdf, 700 Kb) | Читать «Formal Specification and Documentation Using Z: A Case Study Approach»

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

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

К вопросу о влиянии творчества К Кастанеды на В О Пелевина

Белов Андрей

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

25 Kb

Идея сибирской самостоятельности вчера и сегодня

Верхотуров Дмитрий Николаевич

Категория: История

733 Kb

Микроконтроллеры AVR. Вводный курс

Джон Мортон

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

2.16 Mb

Головоломки и занимательные задачи

Мочалов Л.П.

3.21 Mb

Positive trigonometric polynomials and signal processing applications

Bogdan Alexandru Dumitrescu

Категория: Wavelets, signal processing

2.12 Mb

Р-107М. Радиостанция Р-107М. Техническое описание и Инструкция по эксплуатации. 1.000.023ТО

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

3.36 Mb

Деревообработка

под ред. В. Нуча

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

28.84 Mb

Сотвори себя

Каманин Н. П.

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

480 Kb

Волновые явления теплопроводности: Системно-структурный подход

Шашков А.Г., Бубнов В.А., Яновский С.Ю.

Категория: Физика

4.49 Mb

#10

Известия о хазарах, буртасах, болгарах, мадьярах, славянах и руссах Абу-Али Ахмеда Бен Омар Ибн-Даста

Хвольсон Д.А.

Категория: КНИГИ ИСТОРИЯ

13.14 Mb