Automata and computability / Dexter C. Kozen |
Autore | Kozen, Dexter C. |
Pubbl/distr/stampa | New York [etc.] : Springer, copyr. 1997 |
Descrizione fisica | XIII, 400 p. : ill. ; 20 cm |
Disciplina | 511.3 |
Collana | Undergraduate texts in computer science |
Soggetto non controllato |
Teoria delle macchine
Funzioni computabili |
ISBN | 0-387-94907-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001078270203316 |
Kozen, Dexter C.
![]() |
||
New York [etc.] : Springer, copyr. 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory of computation / Dexter C. Kozen |
Autore | Kozen, Dexter C. |
Pubbl/distr/stampa | London : Springer, c2006 |
Descrizione fisica | xiii, 418 p. : ill. ; 24 cm |
Collana | Texts in computer science |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 9781846282973 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008751770403321 |
Kozen, Dexter C.
![]() |
||
London : Springer, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|