The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna

• Autore: Bradley, Aaron R.
• Pubblicazione: Berlin, : Springer, 2007
• Titolo uniforme: The calculus of computation
• Descrizione fisica: XV, 366 p. : ill. ; 25 cm
• Soggetto topico: 68-XX - Computer science [MSC 2020]; 03-XX - Mathematical logic and foundations [MSC 2020]; 03B25 - Decidability of theories and sets of sentences [MSC 2020]; 03F30 - First-order arithmetic and fragments [MSC 2020]; 03B70 - Logic in computer science [MSC 2020]; 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020]; 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
• Soggetto non controllato: Algorithm Analysis; Algorithms; Artificial Intelligence; Computer; Data structure; Formal method; Learning; Logic; Problem complexity; Verification
• Altri autori: Manna, Zohar
• Titolo autorizzato: Calculus of computation
• ISBN: 978-35-407-4112-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0250684
• Lo trovi qui: Univ. Vanvitelli