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

Puppis, Gabriele

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

Synopsis

LNAI 5955

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3642118828 ISBN 13 :  9783642118821
Editeur : Springer, 2010
Couverture souple