Catálogo Bibliográfico FCT/UNL catalog

Normal view MARC view ISBD view

Kozen, Dexter C.
Automata and computability / Dexter C. Kozen. - Ithaca, US : Springer , cop. 1997 . - XIII, 400 p. ; 24 cm. - (Undergraduate texts in computer science)

ISBN 0-387-94907-0

Teoria de autómatos
Funções computáveis

LCC QA267

Print
Save record
More searches