000 | 00375nam a2200157 4500 | ||
---|---|---|---|
082 | _a005.131 PIN-F | ||
100 |
_aPin, J E, _eEditor |
||
245 |
_aFormal properties of finite automata and applications _cJ E Pin |
||
250 | _a | ||
260 |
_aSpringer-Verlag, Berlin _c1989 |
||
300 | _a | ||
490 | _a | ||
650 | _aSymbolic logic | ||
700 |
_a _eEditor |
||
942 | _cBK | ||
999 |
_c444915 _d444915 |