Vorlesungen ber Informatik Berechenbarkeit, formale Sprachen, Spezifikationen [Paperback]

Dieses Lehrbuch baut auf den Themen Grundlagen und funktionales Programmieren und Objektorientiertes Programmieren und Algorithmen der ersten beiden B?nde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit?tstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einf?hrend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird er?rtert, wie man Systemaufgaben analysiert und spezifiziert.Dieses Lehrbuch baut auf den Themen Grundlagen und funktionales Programmieren und Objektorientiertes Programmieren und Algorithmen der ersten beiden B?nde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit?tstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einf?hrend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird er?rtert, wie man Systemaufgaben analysiert und spezifiziert.Vorwort.- Berechenbarkeit.- Komplexit?tstheorie.- Formale Sprachen.- Programmtransformationen.- Spezifikationstechniken: Die Z Notation.- Ablaufspezifikationen, Synchronisierung und Kommunikation.- Literaturverzeichnis.- Programmverzeichnis.- Stichwortverzeichnis.Dieses Lehrbuch baut auf den Themen Grundlagen und funktionales Programmieren und Objektorientiertes Programmieren und Algorithmen der ersten beiden B?nde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berecl&