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

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

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:

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

О физической природе шаровой молнии

Автор: И.П.Стаханов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Технология солода и пива

Автор: Кунце В.

Категория: Tech

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

Древо жизни

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

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

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

Как обставить квартиру

Автор: Р.Милосавлевич

Категория: color, graph, house, home

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

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

Девять эссе о Данте

Автор: Борхес Хорхе Луис

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

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

Automatic Quantum Computer Programming: A Genetic Programming Approach

Автор: Spector L.

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

Minds, machines, and the multiverse: The quest for the quantum computer

Автор: Julian Brown

Категория: P_Physics, PPop_Popular-level

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

Mathematical Aspects Of Quantum Computing 2007

Автор: Mikio Nakahara, Автор: Robabeh Rahimi, Автор: Akira SaiToh

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

The Physics of Quantum Information: Quantum Cryptography, Quantum Teleportation, Quantum Computation

Автор: Dirk Bouwmeester, Автор: Artur K. Ekert, Автор: Anton Zeilinger

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

Магия повседневности. Дикие таланты

Автор: Чарльз Форт

Категория: society, society, history

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

Дизайн сада

Автор: Джон Брукс

Категория: ДИЗАЙН

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

Письмо Маме

Автор: Дембельские песни

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

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

Encyclopedia of Recreation & Leisure in America

Автор: Gary S. Cross

Категория: Образование, Энциклопедии

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

Moonlight Cove

Автор: Sherryl Woods

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