Normal view MARC view ISBD view

Kozen, Dexter, 1951-

Automata and computability Dexter C. Kozen. - New York : Springer, c1997. - xiii, 400 p. ; 24 cm. - Undergraduate texts in computer science .

Includes bibliographical references (p. [373]-379) and index.

ISBN: 9780387949079 0387949070

LCCN: 96037409

Subjects--Topical Terms:
Machine theory.
Computable functions.

LC Class. No.: QA267 / .K69 1997

Dewey Class. No.: 511.3 / KOZ-A