libcats.org

Главная →

An Introduction to Practical Formal Methods Using Temporal Logic

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

Читать «An Introduction to Practical Formal Methods Using Temporal Logic»

Купить электронную версию

fb2 txt rtf epub

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

#1

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

1.03 Mb

#2

О.Д.Вальпа. Полезные схемы с применением микроконтроллеров и ПЛИС (djvu)

9.91 Mb

#3

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

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

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

1.40 Mb

#4

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

Вознюк В.В.

1.99 Mb

#5

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

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

12.41 Mb

#6

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

Роман Савин

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

5.26 Mb

#7

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

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

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

818 Kb

#8

Как я появился на свет

Януш Катерина, Линдман Мерви

Категория: Children

9.12 Mb

#9

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

Тарасов Б.В.

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

41.91 Mb

#10

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

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

10.14 Mb

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

#1

Эфир. Русская теория.

Антонов Владимир Михайлович

Категория: Научная литература

2.45 Mb

#2

Михаил Емцев, Еремей Парнов. Семь банок кофе

222 Kb

#3

Сняг вали над Гринич Вилидж

Ъпдайк Джон

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

36 Kb

#4

Молекулярная диффузия и спектры

Коффи У., Ивенс М., Григолини П. (Coffey, Evans, Grigolini)

Категория: Physics, Electromagnetism, Optics

8.71 Mb

#5

Маркетинговые коммуникации. Интегрированный подход

Дж. Бернет, С. Мориарти

Категория: money

10.13 Mb

#6

Применение UML и шаблонов проектирования

Крэг Ларман

Категория: computer

27.84 Mb

#7

Технология обработки металлов.5 - 9 классы.

Е.М.Муравьев

6.49 Mb

#8

Печи и камины

Синельников В.С.

Категория: ПРОФЕССИИ И РЕМЕСЛА, РАЗНОЕ, ХОББИ и РЕМЕСЛА

4.12 Mb

#9

Все Хорошо

Табу

Категория: Песенники и тосты

#10

World War II Jungle Warfare Tactics (Osprey Elite)

Stephen Bull

49.49 Mb