Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Davis, Martin <1928- >
|
| Titolo: |
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
|
| Pubblicazione: | San Diego [Ca.] : Academic Press, c1994 |
| Edizione: | 2nd ed. |
| Descrizione fisica: | xix, 609 p. : ill. ; 23 cm |
| Disciplina: | 511.3 |
| Soggetto non controllato: | Linguaggi formali |
| Teoria delle macchine | |
| Teoria degli automi | |
| Logica matematica | |
| Altri autori: |
Sigal, Ron
Weyuker, Elaine J.
|
| Note generali: | 1. ed. 1983 |
| Titolo autorizzato: | Computability, complexity, and languages |
| ISBN: | 0-12-206382-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990001449760403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | 511.3-DAV-1 |
| 511.3-DAV-1A | |
| 511.3-DAV-1B | |
| 511.3-DAV-1C | |
| 511.3-DAV-1D | |
| 511.3-DAV-1E | |
| 511.3-DAV-1F | |
| 511.3-DAV-1G | |
| 511.3-DAV-1H | |
| 511.3-DAV-1I | |
| 511.3-DAV-1L | |
| 511.3-DAV-1M | |
| 511.3-DAV-1N | |
| 511.3-DAV-1O | |
| 511.3-DAV-1P | |
| Opac: | Controlla la disponibilità qui |