libcats.org

Главная →

Верификация моделей программ. Model Checking

Верификация моделей программ. Model Checking

Э. М. Кларк, О. Грамберг, Д. Пелед Верификация моделей программ. Model Checking Model Checking

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

Скачать книгу бесплатно (djvu, 4.60 Mb)

Читать «Верификация моделей программ. Model Checking»

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

Каникулы

Автор: Бредбери Рэй

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

Очищение

Автор: Суворов Виктор

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

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

Ремонт импортных телевизоров

Автор: Родин А.В., Автор: Тюнин Н.А.

Категория: civil, civil, hardware

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

Теория относительности и ее влияние на научную мысль

Автор: Эддингтон А.С.

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

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

Автор: Роман Савин

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

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

Быль-сказка о карандашах и красках

Автор: В.Курчевский

Категория: Children

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

Год Подсадит Ногою в Седло

Автор: Мирзаян Александр

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

Каталог почтовых марок 1857-1991. Россия, РСФСР, СССР

Автор: В.Б. Загорский

Категория: КНИГИ ХОББИ и РАЗВЛЕЧЕНИЯ

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

Anatomia Człowieka Tom 1: Anatomia Ogólna, kości, stawy i więzadła, mięśnie.

Автор: Adam Bochenek, Автор: Michał Reicher

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

Mein Kampf

Автор: Hitler Adolf

Категория: fiction

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

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

Михаил Булгаков. Батум (Пьеса в четырех действиях)

Автор:

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

Programming Languages and Systems, 17 conf., ESOP 2008

Автор: Sophia Drossopoulou

Категория: Cs_Computer science, CsLn_Lecture notes

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

Time series methods in hydrosciences. Proc. conf.

Автор: El-Shaarawi A.H. (ed.)

Категория: M_Mathematics, MV_Probability, MVsa_Statistics and applications

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

Автор:

Категория: fiction

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

The Element of Fire

Автор: Wells Martha

Категория: fiction

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

For Heaven's Sake

Автор: Martinez Sam

Категория: fiction

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

Killer's Choice

Автор: McBain Ed

Категория: fiction

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

A Mother in Million

Автор: James Melissa

Категория: fiction

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

Gamer Love

Автор: Lopez Melissa

Категория: fiction

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

It's Beginning To Look a Lot Like Zombies

Автор: Spradlin Michael P

Категория: fiction

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