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

• Autore: Huth, Michael
• Pubblicazione: Cambridge, : Cambridge University, 2000
• Descrizione fisica: XVIII, 387 p. ; 26 cm.
• Soggetto topico: 68-XX - Computer science [MSC 2020]; 03-XX - Mathematical logic and foundations [MSC 2020]
• Persona (resp. second.): Ryan, Mark
• Titolo autorizzato: Logic in computer science
• ISBN: 05-216-5602-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0055410
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://books.google.it/books?id=zAchdqsWkL0C&printsec=frontcover&hl=it