Description: Automata and computability /

Main Author:	Kozen, Dexter, 1951-
Format:	Book
Language:	English
Published:	New York : Springer, c1997.
Subjects:	Machine theory Computable functions

Physical Description:	xiii, 400 p. : ill. ; 25 cm.
ISBN:	0387949070