Knihu momentálně nemáme skladem
The Calculus of Computation
Decision Procedures with Applications to Verification
Autoři
384 stránek
Více o knize
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.
Varianta knihy
2010, měkká
Nákup knihy
Jakmile ji vyčmucháme, pošleme vám e-mail.