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

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

ГРНТИ	УДК
50.05.13	004.415.5

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

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

Экз-ры: всего: 6 : ХР(3), ФО18(1), ФО20(1), ФО25(1)
Свободны: ХР(3), ФО18(1), ФО20(1), ФО25(1)

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