PakCat catalogue record Automata and Computability By Kozen, Dexter C. Bibliographic details ISBN9780387949079 PublisherSpringer Publication placeNew York Publication year1997 Material typeBook Physical description400 p.