Автор: Деметрович Янош

Другие авторы: Кнут Е.; Радо П.

Основное заглавие: Автоматизированные методы спецификации

Ответственность: Пер. с англ. Шабанова Л. В.; Под ред. Дадаева Ю. Г.

Физический носитель: Текст

Год публикации: 1989

Место издания: М.

Издательство: Мир

Объем: 115с.

ISBN: 5-03-000487-4

Ключевые слова: Программирование; Вычислительные системы; ЭВМ

ББК: 32.973.202-018

Библиография: Библиогр.: с. 112-115