Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science (2500), Band 2500)

Automata

von Wolfgang Thomas, Thomas Wilke, Erich Grädel

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-00388-5

ISBN-10: 3-540-00388-6

Springer · 2008