Ontological transition systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2007

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

теория программирования

онтология

операционная семантика

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

Стр.:

P.1-17

Выпуск:

26

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

Bibliogr.: p.16-17

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б2.3, Б2.14.

Anureev I. S..

Ontological transition systems// Bulletin of the Novosibirsk Computing Center-2007.-P.1-17
Bibliogr.: p.16-17

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

ISI2 944