The Calculus of Computation

Decision Procedures with Applications to Verification

Autor*innen

• Aaron R. Bradley
• Zohar Manna

Parameter

• 384 Seiten
• 14 Lesestunden

• Informatik & Programmierung
• Logik
• Mathematik

Mehr zum Buch

Focusing on computational logic, the textbook covers foundational concepts of first-order logic and advances to modern decision procedures for arithmetic and data structures. It emphasizes a logical methodology for developing correct software, making it a valuable resource for understanding both theoretical and practical aspects of computational logic in engineering.

• Sprache: Englisch
• Erscheinungsdatum: 2010
• Einband: Paperback