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

Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Н.А.Алешина,А.М.Анисов,П.И.Быстров и др. - М. : Наука, 1990. - 239 c. : ил. - (Сер. "Кибернетика - неогранич. возможности и возмож. ограничения"). - 50000 экз. - ISBN 5-02-007156-0. - Текст : непосредственный.
Авт. указаны на обороте тит. л. Библиогр.: с. 231-235 (52 назв.)

ГРНТИ	УДК
50.05.13	004.415.5

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

Доп. точки доступа:
Алешина, Н.А.
Анисов, А.М.
Быстров, П.И.

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

Шифр в сводном ЭК: 804fd4a909a0cc81d76c97bb5acaac97

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