Полное описание

Reissenberger, W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger. - Stuttgart : [s. n.], 1998. - 114 S. : Ill. - Текст : непосредственный.
Библиогр.:с.101-110 Указ.:с.113-114

ГРНТИ	УДК
50.05.13	004.415.28(043)
	004.415.5(043)

Рубрики:
Программы для ЭВМ -- Спецификация
Программы для ЭВМ -- Верификация

Кл.слова (ненормированные): ПРОГРАММА -- ПРОГРАММА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/20422)

Шифр в сводном ЭК: 604b938a79aa057ae85779440fc6cd20

Заказать издание
Заказ фрагмента документа ₽