Kniha momentálne nie je na sklade
The Calculus of Computation
Decision Procedures with Applications to Verification
Autori
384 stránok
Viac o knihe
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.
Variant knihy
2010, mäkká
Nákup knihy
Akonáhle sa objaví, pošleme vám e-mail.