Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan

• Autore: Huth, Michael
• 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