Automata logics, and infinite games
: a guide to current research / Erich Grädel ... (ed.). - Berlin : Springer, 2002. - VIII, 385 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2500)
ISBN 978-3-540-00388-5 / 3-540-00388-6 kart. : EUR 48.15
Literaturverz. S. 365 - 376
Quelle: DNB
Automata logics, and infinite games
: a guide to current research / E. Grädel ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2500)
ISBN 978-3-540-36387-3
Lizenzpflichtig
Quelle: DNB
Bollig, Benedikt: Formal models of communicating systems
: languages, automata, and monadic second-order logic ; with 6 tables / Benedikt Bollig. - Berlin : Springer, 2006. - IX, 181 S. : graph. Darst.; 24 cm
ISBN 978-3-540-32922-0 / 3-540-32922-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 85.00 (freier Pr.)
Literaturverz. S, 165 - 171
Quelle: DNB Verlagsmeldungen