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

Здоровье надо созидать

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

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

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

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

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

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

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

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

Материалы следственных дел

Автор: Белинков Аркадий Викторович

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

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

Форель разбивает лед (Стихи 1925-1928)

Автор: Кузмин Михаил

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

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

Алгебра - 1 (интерактивный электронный учебник)

Автор: Мейрембеков К.А.

Категория: Mathematics, Algebra, Algebra textbooks

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

Эволюция для всех. Путь кентавра

Автор: Гангнус А.А.

Категория: Ченнелинг

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

Picture Yourself Learning Microsoft Office 2007

Автор: Diane (Diane Koers) Koers

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

How To Control Your Anger Before It Controls You

Автор: Albert Ellis, Автор: Raymond Chip Tafrate

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

Древесное сырье - стратегическая основа и резерв цивилизации: Монография

Автор: Гелес И.С.

Категория: Лесная и деревообрабатывающая промышленность

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

Capitalism in Evolution: Global Contentions--East and West

Автор: Geoffrey M. Hodgson, Автор: Makoto Ito, Автор: Nobuharu Yokokawa (editors)

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

Where Death Delights

Автор: Knight Bernard

Категория: fiction

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

The Game

Автор: Strauss Neil

Категория: fiction

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