Vai al contenuto principale della pagina
Autore: | Huth, Michael |
Titolo: | Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan |
Pubblicazione: | New York : Cambridge University Press, c2004 |
Edizione: | 2nd ed. |
Descrizione fisica: | XIV, 427 p. ; 25 cm |
Disciplina: | 0511.3 |
Soggetto non controllato: | Logica matematica |
Informatica | |
Altri autori: | Ryan, Mark |
Titolo autorizzato: | Logic in computer science |
ISBN: | 978-0-521-54310-1 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990010091460403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | 13 H 66 10 |
13 H 66 11 | |
13 H 66 12 | |
13 64 10 | |
23 14 C 01 | |
23 14 C 02 | |
23 14 C 03 | |
23 14 C 47 | |
Opac: | Controlla la disponibilità qui |