Tutorial		The course is based on an online tutorial which is available for everyone for free. The tutorial is available in HTML and PostScript versions. For the latter, DIN A4 and US letter paper formats are provided. There exist some copies of the various tutorial variants around the world. Also, the tutorial has been translated into Spanish.
PostScript		The tutorial is available in both DIN A4 and US letter paper formats. However, you may want to download only individual chapters.
HTML		The HTML version of the tutorial is available for download in two versions. One contains the complete tutorial in one HTML file. The other version presents each chapter in its own file. Both versions include some image files. huge.tar.gz Tutorial in single file, gzipped tar archive huge.zip Tutorial in single file, zipped archive small.tar.gz Tutorial in multiple files, gezipped tar archive small.zip Tutorial in multiple files, zipped archive Each of these files unpack to a directory tutorial. In there you'll find a file tutorial.html.
Add on's		The following tutorial add on's are available. Chapter 3 ``Abstract Data Types'', How to use Pre- and Postconditions for Correctness Prooves (PostScript).
Copies		Some people found the tutorial valuable enough to copy it locally to their institutions. Maybe there is one near to you. Brazil     Universidade Federal de Minas Gerais, Belo Horizonte HTML Canada Ryerson Polytechnic University (School of Computer Science) HTML England Surf Central HTML Germany Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB) HTML Postscript (DIN A4) Postscript (US letter) Deutsches Elektronen-Synchotron (DESY) HTML Postscript (DIN A4) Postscript (US letter) Italy AMS Bologna group HTML Postscript (FTP) Postscript (WWW) Mexico Instituto Tecnológico y de Estudios Superiores de Monterrey, Campus Central de Veracruz HTML Sweden Private (?) server at Lunds Tekniska Högskola HTML PostScript (DIN A4) Tasmania Launceston Institute of TAFE, Australia HTML Postscript (DIN A4) Postscript (US letter) Texas Globewide Network Academy (GNA) HTML Postscript (DIN A4) Postscript (US letter) Turkey Electrical and Electronics Engineering Department, Bilkent University, Ankara HTML If you are interested in copying the tutorial files feel free to do so. However, please notify me where you put the files and why you want to have them. This is just to keep this list up-to-date as well as to satisfy my curiosity ... thanks.
Translations		The tutorial has been translated into the following languages: Spanish     HTML HTML (zipped) Translation by Gerardo Garcia