Updates
Typographical Errors
-
p. 92, fig. 5.7, below sequence diagram:
- substitute Dep_1 by Deb_1
- substitute Cep_1 by Deb_2
Slides
Slides from a graduate course based on the book are available here.Slides from a summer school course more focussed on the formal aspects are available as part 1 and part 2.
A more extensive set of slides from a lecture course based on the book can be found here (8.5 MB) (unfortunately some of the slides are in German).
Powerpoint sources are available on request.
Reduced Price Copies
It may be possible to arrange reduced price copies for students, researchers working in developing countries etc. Please ask.