Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:theory_of_computation_courses_and_books [2008/04/03 11:46]
vkuncak
sav08:theory_of_computation_courses_and_books [2010/02/22 01:13] (current)
vkuncak
Line 1: Line 1:
 ====== Theory of Computation Courses and Books ====== ====== Theory of Computation Courses and Books ======
  
-  * [[http://​mtc.epfl.ch/​courses/​TCS-2008/​]] at EPFL 
   * Michael Sipser: Introduction to the Theory of Computation,​ 1987 (take later edition)   * Michael Sipser: Introduction to the Theory of Computation,​ 1987 (take later edition)
   * Harry R. Lewis and Christos H. Papadimitriou:​ Elements of the Theory of Computation,​ Prentice-Hall,​ 1981 (better take this earlier edition than later ones)   * Harry R. Lewis and Christos H. Papadimitriou:​ Elements of the Theory of Computation,​ Prentice-Hall,​ 1981 (better take this earlier edition than later ones)
 
sav08/theory_of_computation_courses_and_books.txt · Last modified: 2010/02/22 01:13 by vkuncak
 
© EPFL 2018 - Legal notice