Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems Lecture Notes in Computer Science, nr. 5955 Autor Gabriele Puppis 18 feb 2010 Paperback Preț: 320.20 lei 400.25 lei 6-8 săpt. -20%