000 00680 a2200277 4500
001 252481
020 _a978-3-540-00388-5
041 _aeng
080 _a681.3:517.1Aut(2)
245 _aAutomata, logics, and infinite games : a guide to current research
250 _a
260 _aBerlin
260 _bSpringer
260 _c2002
300 _aviii,385 p.
300 _c23.5 cm
490 _aLecture notes in computer science ; v.2500
700 _a
700 _aGradel, Erich
700 _aGradel, Erich
650 _a
650 _aComputer Science and Engineering
650 _aAutomata theory , Logic, Symbolic and mathematical
942 _cBK
942 _2UDC
999 _c147489
_d147489