Каталог: Компьютеры »•» Программирование

	Непомнящий, В.А.; Рякин, О.М. Прикладные методы верификации программ
	Издательство: М.: Радио и связь
	Переплет: мягкий; 256 страниц; 1988 г.
	ISBN: 5-256-00156-6; Формат: стандартный
	Язык: русский
	На сайте с 05.08.2013

Аннотация

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

В продаже  Хочу купить

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать