Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav08:calculus_of_computation_textbook [2008/03/05 10:41]
vkuncak
sav08:calculus_of_computation_textbook [2009/02/17 22:46] (current)
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 also cover additional topics, 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]]
  
 
sav08/calculus_of_computation_textbook.txt · Last modified: 2009/02/17 22:46 by vkuncak
 
© EPFL 2018 - Legal notice