Вы здесь

Главная

Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
сети петри
теория автоматов
коммуникационный
автомат
вычислительная сложность
динамические системы
гибридная система
формальный язык
формальный метод
infinite state system
прогнозирование
достижимость
анализ
переписывающая система
моделирование по
теория вычислений
временной автомат
Стр.: 
246 p.
Редактор: 
Ouaknine J.
Potapov I.
Worrell J.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8762
Карточка: 

Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014Ed. by Ouaknine J., Potapov I., Worrell J..-Berlin.: Springer, 2014.-Vol. 8762.-246 p.-(Lecture Notes in Computer Science).

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