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

	Агафонов, Валерий Николаевич Спецификация программ: понятийные средства и их организация
	Издательство: Новосибирск: Наука; Издание 2-е, доп.
	Переплет: твердый; 223 страниц; 1990 г.
	ISBN: 5-02-029666-X; Формат: стандартный
	Язык: русский
	На сайте с 23.02.2009

Аннотация

Монография посвящена важному этапу проектирования программ - этапу описания (спецификации) задач, которые они должны решать. Анализируется проблема спецификации программ, рассматриваются основные классы понятий, используемых в качестве средств описания, обсуждается организация понятийных средств в виде языков спецификации и предложенной автором практической теории определений (ПТО) – базы знаний по спецификации программ. Второе издание дополнено сведениями о новых языках спецификации и развитии системы ПТО. Первое издание книги вышло в 1987 г.
Книга предназначена для специалистов и студентов, интересующихся проектированием программ, языковыми и математическими аспектами программирования.
Ил. 36. Библиогр.: 156 назв.

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

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

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

листать