Вы здесь

Главная

Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
теория аппроксимации
формальный язык
теория автоматов
теория графов
преобразование графа
графический метод
логика
математическая трансформация
моделирование
симуляция
модель вычислений
сети петри
полиномиальная аппроксимация
семантика
доказательство
символический
алгоритмический
манипуляция
Стр.: 
303 p.
Редактор: 
Gadducci F.
Kehrer T.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12741
Карточка: 

Graph Transformation: Proc./14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 2021Ed. by Gadducci F., Kehrer T..-Berlin.: Springer, 2021.-Vol. 12741.-303 p.-(Lecture Notes in Computer Science).