000 00306nam a2200121Ia 4500
008 230718s9999||||xx |||||||||||||| ||und||
082 _a006.384 363
100 _aLINZ PETER
245 0 _aINTRODUCTION TO FORMULA LANGUAGES AND AUTOMATA
250 _a4
260 _bNAROSA
_c2011
_aNEW DELHI
300 _a415
999 _c56310
_d56310