Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen
Prof. Dr. Gerhard Goos (auth.)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.
Категорії:
Рік:
1997
Видання:
1
Видавництво:
Springer-Verlag Berlin Heidelberg
Мова:
german
Сторінки:
284
ISBN 10:
364259140X
ISBN 13:
9783642591402
Серії:
Springer-Lehrbuch
Файл:
PDF, 12.58 MB
IPFS:
,
german, 1997
Скачування цієї книги недоступне за скаргою правовласника