Graph Transformation, Specificationas, and Nets: In Memory of Hartmut Ehrig | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

2018

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

модель вычислений

параллелизм

абстрактные данные

тип данных

язык спецификаций

трансформация графа

грамматика графа

сети петри

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

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

теория категорий

разработка по

model-driven engineering

формальная верификация

Стр.:

333 p.

Редактор:

Место издания:

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

Серия:

Lecture Notes in Computer Science

Том:

10800

Карточка:

Graph Transformation, Specificationas, and Nets: In Memory of Hartmut EhrigEd. by Heckel R., Taentzer G..-Berlin.: Springer, 2018.-Vol. 10800.-333 p.-(Lecture Notes in Computer Science).

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

MONO12 819