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

Купить бумажную книгу и читать

Купить бумажную книгу

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".

Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.

Автор:

Издательство: МЦНМО

Год издания: 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 "Bookvoed" online store.

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.

Дата создания страницы: