An Introduction to Practical Formal Methods Using Temporal Logic

libcats.org

Главная →

Michael Fisher

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

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

fb2 txt rtf epub

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

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

Размер книги: 20.83 Mb

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

Размер книги: 3.10 Mb

Технология регенерации зубов

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

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

Размер книги: 69 Kb

Ключ к сверхсознанию

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

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

Размер книги: 309 Kb

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

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

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

Размер книги: 818 Kb

Сотворение мира (3-х томник)

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

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

Размер книги: 817 Kb

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

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

Размер книги: 13.64 Mb

Древо жизни

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

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

Размер книги: 1.70 Mb

Handbook of Antennas in Wireless Communications

Автор: Lester Packer, Автор: Enrique Cadenas

Размер книги: 37.19 Mb

Шликерное литье

Автор: Добровольский А. Г.

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

Размер книги: 5.98 Mb

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

Красная площадь

Автор: Тополь Эдуард, Автор: Незнанский Фридрих

Категория: Политический детектив

Размер книги: 658 Kb

Четвертый протокол

Автор: Форсайт Фредерик

Категория: Политический детектив

Размер книги: 781 Kb

Этюд в красно-коричневых тонах или Тайна, несущая смерть-II

Автор: Абаринова-Кожухова Елизавета

Категория: Политический детектив

Размер книги: 137 Kb

Этюд в красно-коричневых тонах, или Тайна, несущая смерть-II

Автор: Абаринова-Кожухова Елизавета

Категория: Политический детектив

Размер книги: 137 Kb

Холодная Зима

Автор: Маркьянов Александр В.

Категория: Политический детектив

Размер книги: 658 Kb

Презумпция лжи

Автор: Маркьянов Александр В.

Категория: Политический детектив

Размер книги: 686 Kb

Спасти Фейт

Автор: Балдаччи Дэвид

Категория: Политический детектив

Размер книги: 1.33 Mb

Псы войны

Автор: Форсайт Фредерик

Категория: Политический детектив

Размер книги: 882 Kb

Наследие Скарлатти

Автор: Ладлэм Роберт Литресович

Категория: Политический детектив

Размер книги: 1.15 Mb

"Эль Гуахиро" - шахматист

Автор: Папоров Юрий

Категория: Политический детектив

Размер книги: 3.77 Mb