Concrete Semantics

The book has been published by Springer in December 2014.

• Home page of the Springer book
• Errata for the Springer book. These errors have been corrected in our online version.