Automata and computability
Kozen, Dexter C
Automata and computability - Springer Publishing Co., New York - 400
1332
Symbolic logic; Automata, Formal languages applied to programming langu
005.131 KOZ-A
Automata and computability - Springer Publishing Co., New York - 400
1332
Symbolic logic; Automata, Formal languages applied to programming langu
005.131 KOZ-A