Main image
Click to view image in fullscreen
![]()
Calculus of Computation
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
640,00 DH
En stock
This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.
| ISBN / EAN | 9783540741121 |
|---|---|
| Auteur | Bradley, Aaron R. |
| Editeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |