Верификация моделей программ. Model Checking
Купить бумажную книгу и читать
Купить бумажную книгу
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Страниц: 416
Размер: 4,4 Мб [DJVU]
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Скачать:
Купить бумажную книгу или электронную версию книги и скачать
Купить бумажную книгу
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Дата создания страницы: 2019-02-26 12:36
Похожие книги Fly Model №001-153 [Модели из картона] Издательство: Fly Model Формат: PDF, JPG Качество: хорошее Размер: 3,3 Гб Язык: Polish Описание: Польский журнал о бумажных моделях самолетов и другой технике, содержит схемы и выкройки. Несмотря на название, журнал не...Model Checking. Верификация параллельных и распределенных программных систем Автор: Ю. Г. Карпов Издательство: БХВ-Петербург Год: 2010 Страниц: 552 ISBN: 978-5-9775-0404-1 Формат: djvu Размер: 12,2 Мб Язык: русский Качество: хорошее В книге рассказывается о новых результатах в области верификация...Quest Model Kartonowy Автор: Коллектив Издательство: Quest Год : 2010 Формат : PDF Размер : 389МВ Страниц: 1000 Язык : Польский Бумажное моделирование. Сборник моделей из картона Список номеров: Quest Model Kartonowy -...Developing Credit Risk Models Using SAS Enterprise Miner and SAS/STAT: Theory and Applications Автор : Iain Brown Язык: English Издательство : Cary, NC: SAS Institute Год : 2014 Формат : pdf Размер : 11,7 mb Страниц : 174 The credit decisions you make...Верификация автоматных программ Автор: С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов Издательство: СПбГУ ИТМО Год : 2011 Формат : pdf Размер : 3,27 mb В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием...Model Airplane International (2005-2009) 18 issues Название: Model Airplane International Издательство: ADH Publishing Ltd. Год выхода: 2005-2009 (18 issues) Количество страниц: ~75-84 x 18 Жанр: do it yourself Качество: scanned pages Язык: English Формат: PDF Размер: 1.12 Gb...Изучаем Adobe Flash CS3. Продвинутый курс Автор: коллектив Издательство: TeaShop Год : 2009 Качество: отличное Формат : iso Язык : русский Размер : 329 МБ Для сайта: Описание: Интерактивный самоучитель по обучению работе с программой Adobe...Specification and Verification of Multi-agent Systems Издательство: Springer Автор: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer Год: 2010 Количество страниц: 422 Формат: PDF Размер: 4 mb Язык: English Specification and Verification of Multi-agent Systems presents a coherent...Old Stellar Populations: How to Study the Fossil Record of Galaxy Formation Проектно-сметное дело Валеология Электронномикроскопическая фрактография (альбом)