LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:calculus_of_computation_textbook [2008/02/15 21:02]
vkuncak
sav08:calculus_of_computation_textbook [2009/02/17 22:46]
vkuncak
Line 1: Line 1:
 ====== Textbook: The Calculus of Computation ====== ====== Textbook: The Calculus of Computation ======
  
-Among the textbooksthis one is closest to the material that we will cover (although we will cover other things, and there will be lecture notes).+Textbook covering propositional and first-order logicselected decision procedures, and deductive approach to verification.
  
 [[http://​www.springer.com/​computer/​foundations/​book/​978-3-540-74112-1|Web site at Springer]] [[http://​www.springer.com/​computer/​foundations/​book/​978-3-540-74112-1|Web site at Springer]]