Program Specific Transition Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2012

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

транзитивный

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

безопасный

свойство

верификация

онтологический

семантика

Стр.:

P.1-21

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

Bibliogr.: p.19-21

Издательство:

Источник:

Bulletin of the Novosibirsk Computing Center

Номер:

34

Карточка:

Б2.23, Б2.24.

Anureev I. S..

Program Specific Transition Systems: Springer// Bulletin of the Novosibirsk Computing Center-2012, №34.-P.1-21
Bibliogr.: p.19-21

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

ISI3 256