Вы здесь

Главная

Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013

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

Б2.2, Б2.1.

Reachability Problems: Proc./7th International Workshop, RP 2013, Uppsala, Sweden, September 2013Ed. by Abdulla P. A., Potapov I..-Berlin.: Springer, 2013.-Vol. 8169.-223 p.-(Lecture Notes in Computer Science).

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