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


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


Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Страниц: 416
Размер: 4,4 Мб [DJVU]
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Скачать:
http://depositfiles.com
http://rapidshare.com

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12761 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Прогулка с детьми по С.Петербургу и его окрестностям. Часть 3

    Прогулка с детьми по С.Петербургу и его окрестностям. Часть 3

    Автор: Виктор Бурьянов Название: Прогулка с детьми по С.Петербургу и его окрестностям. Часть 3 Издательство: С.Петербург. В типографии главного управления путей сообщения и публичных зданий Язык: Рус . . .

  • Книга Физиология размножения с-х животных

    Физиология размножения с-х животных

    Автор:Сысоев А.А.Название: Физиология размножения с-х животныхИздательство: КолосГод: 1978Формат: pdfРазмер: 24 mbВ книге рассмотрены физиологические процессы размножения животных различных видов.http . . .

  • Книга Winning Basketball for Girls (Winning Sports for Girls)

    Winning Basketball for Girls (Winning Sports for Girls)

    Women's basketball is more popular now than ever, and the number of girls playing youth basketball is at an all-time high. At the same time, the competition on the court has become stiffer than ever b . . .

  • Книга Моя жизнь после смерти

    Моя жизнь после смерти

    Автор: Роберт А. УилсонНазвание: Моя жизнь после смертиИздательство: ЭкслибрисГод: 2002ISBN: 5-7101-0071-4Язык: РусскийСтраниц: 320 Формат: RTF,TXTРазмер: 11 мбАннотацияАвтор расскажет о своей жизни п . . .

  • Книга McDonnell Douglas / Boeing F-15 Baz

    McDonnell Douglas / Boeing F-15 Baz

    Автор: Ra'anan Weiss; Alon KorenНазвание: McDonnell Douglas / Boeing F-15 BazИздательство: IsraDecal PublicationsСерия: Aircraft of the Israeli Air Force №5ISBN: 9657220068Год: 2006Формат: PDFСтраниц . . .

  • Книга Царская Россия и дело Бейлиса

    Царская Россия и дело Бейлиса

    Название: Царская Россия и дело БейлисаАвтор: Тагер А.С.Издательство: Книжная лавка - РТР, ТерраISBN: 5-300-00809-5Серия: Тайны истории в романах, повестях и документахГод: 1996Формат: PDFЯзык: русски . . .

  • Книга Статистические методы планирования экстремальных экспериментов

    Статистические методы планирования экстремальных экспериментов

    Автор:Налимов В.В., Чернова Н.А. Название: Статистические методы планирования экстремальных экспериментовИздательство: М.: МирГод: 1965Формат: djvuРазмер: 2 mb1 Математический аппарат регрессионного а . . .

  • Книга Подписи царей Бориса Годунова и Алексея Михайловича

    Подписи царей Бориса Годунова и Алексея Михайловича

    Автор: Щербачев Ю.Н.Название: Подписи царей Бориса Годунова и Алексея Михайловича Издательство: М.: Университетская тип.Год: 1894 Формат: pdfРазмер: 5 mbВ настоящей статье автор решает вопрос о подлин . . .

  • Книга Строительные машины и средства малой механизации

    Строительные машины и средства малой механизации

    Название: Строительные машины и средства малой механизацииАвтор: Щемелёв А.М., Партнов С.Б., Белоусов Л.И.Издательство: Мн.: Дизайн ПРОГод: 1998Страниц: 272ISBN: 985-6182-55-7Формат: PDFРазмер: 22.3 M . . .

  • Книга Кошки: Вышивка Крестом

    Кошки: Вышивка Крестом

    Автор: Коллектив авторовНазвание: Кошки: Вышивка КрестомИздательство: Мир книгиГод: 2012Формат: jpgРазмер: 52,06 МбСтраниц: 61В книге, посвященной вышивке крестиком, собрана коллекция мотивов для выши . . .


Вы не зарегистрированы!

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

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация моделей программ. Model Checking. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.