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

Вы здесь

Автор:

Капитонова Ю. В.

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

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

1

Вид:

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

Год:

2000

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

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

логический

Стр.:

С.3-13

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

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

Источник:

Кибернетика и системный анализ

Номер:

6

Карточка:

А2.2.

Капитонова Ю. В., Чеботарев А. Н..

Индуктивный синтез автомата по спецификации в логическом языке// Кибернетика и системный анализ-2000, №6.-С.3-13
Библиогр.: c.13

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

PAP22 649