Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems /

-д хадгалсан:
Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Gabriele Puppis (autor)
Формат: Ном
Хэл сонгох:англи
Хэвлэсэн: Berlín, Alemania : Springer, 2010, c2010
Цуврал:(Lecture Notes in Computer Science)
Онлайн хандалт:Ver documento en línea
Шошгууд: Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
Тодорхойлолт
Биет тодорхойлолт:1 libro electrónico en línea (206 p.)
1 recurso en línea
ISBN:978-3-642-11881-4
ISSN:1611-3349
Хандалт:Licencias ilimitadas