По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Название: Прикладные методы верификации программ
Автор: Непомнящий В.А., Рякин О.М.
Издательство: Радио и связь
Год: 1988
Страниц: 256
ISBN: 5-256-00156-6
Формат: DJVU
Размер: 6.7 Мб
Язык: русский
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.