Синтез алгоритма по его логической спецификации | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Чеботарев А. Н.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2004

Ключевые слова:

спецификация

логический язык

предикат

Стр.:

С.53-60

Библиография:

Библиогр.: c.60

Источник:

Номер:

5

Карточка:

Б3.2.

Чеботарев А. Н..

Синтез алгоритма по его логической спецификации// УСиМ-2004, №5.-С.53-60
Библиогр.: c.60

Таблица в старой библиотеке:

PAP29 864