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

Puppis, Gabriele

 
9783642118821: Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Brossura
ISBN 10: 3642118828 ISBN 13: 9783642118821
Casa editrice: Springer, 2010

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Word Automata and Time Granularities.- Tree Automata and Logics.- Summary.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
3642118828
ISBN 13 
9783642118821
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642118801 ISBN 13:  9783642118807
Casa editrice: Springer, 2010
Brossura