Das vorliegende Buch ging aus einer Vorlesung hervor, die wir gemeinsam im Sommersemester 1982 an der Universitat Erlangen-Nurnberg gehalten haben. Wesentliche Anregungen verdanken die Autoren den Manuskripten der Vorle sung Structure und Interpretation of Computer Programs von Abelson, Fano und Sussman (1981, 1982, 1983 als MIT-AI-TR-735 veroffentlicht) am Massachusetts Institute ofTechnology, sowie den Lehrbuchern LISP von Win ston und Horn (1981) und Artificial Intelligence Programming von Charniak, Riesbeck und McDermott (1980) und dem Vorlesungsmanuskript LISP - Pro gramming and Proving...

Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozessdatenverarbeitung, Rechnerarchitektur, Rechnernetze, Produktionstechnik, Buroautomation Die Programmierung nebenlaufiger, verteilter und echtzeitabhangiger Systeme erlangte zunehmende Bedeutung nicht nur in der Informatik, sondern vor allem auch in zahlreichen Anwendungsbereichen. Ursprunglich musste man sich mit ihr nur beim Betriebssystembau und in der Prozessdatenverarbeitung beschaftigen. Heute ist sie aufgrund neuartiger...