An Extension of Dynamic Logic for Modeling OCL s @pre Operator | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2001

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

динамический

моделирование

Стр.:

P.47-54

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

Bibliogr.: p.54

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

Источник:

Lecture Notes in Computer Science

Том:

2244

Карточка:

Б2.14.

Baar T., Beckert B., Schmitt P. H..

An Extension of Dynamic Logic for Modeling OCL s @pre Operator: Springer// Lecture Notes in Computer Science-2001.-Vol. 2244.-P.47-54
Bibliogr.: p.54

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

PAP24 320