Software

Here you can find lists of great Software books are or have been used to teach courses at EPFL.





Structure and Interpretation of Computer Programs - 2nd Edition

By: Harold Abelson, Gerald Jay Sussman, Julie Sussman

1996

Code Complete: A Practical Handbook of Software Construction, Second Edition

By: Steve McConnell

2004

Types and Programming Languages

By: Benjamin C. Pierce

2002

The Calculus of Computation: Decision Procedures with Applications to Verification

By: Aaron R. Bradley, Zohar Manna

2007