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

Вы здесь

Автор:

Замулин А. В.

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

1

Вид:

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

Год:

1999

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

программный

формальный

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

алгебраический

Стр.:

С.3-14.

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

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

Источник:

Программирование

Номер:

5

Карточка:

Б2.1, Б2.2, Б3.51.

Замулин А. В..

Механизм для формального описания динамических систем// Программирование-1999, №5.-С.3-14.
Библиогр.: c.13-14

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

ISI2 276