Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-
65,00 €
Subtitle 12th Colloquium, Nafplion, Greece, July 15-19, 1985. - Linear and branching structures in the semantics and logics of reactive systems. - About rational sets of factors of a bi-infinite word.
Jetzt bei Ebay: