Прикладные методы верификации программ

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

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

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

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.

Название: Прикладные методы верификации программ

Автор: Непомнящий В.А., Рякин О.М.

Издательство: Радио и связь

Год: 1988

Страниц: 256

ISBN: 5-256-00156-6

Формат: DJVU

Размер: 6.7 Мб

Язык: русский

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

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