Gerhard Goos
Springer Berlin Heidelberg
1997e druk, 1997
9783540606550
Vorlesungen über Informatik
Berechenbarkeit, formale Sprachen, Spezifikationen
Specificaties
Paperback, 284 blz.
|
Duits
Springer Berlin Heidelberg |
1997e druk, 1997
ISBN13: 9783540606550
Rubricering
Onderdeel van serie
Springer-Lehrbuch
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783540606550
Taal:Duits
Bindwijze:paperback
Aantal pagina's:284
Uitgever:Springer Berlin Heidelberg
Druk:1997
Hoofdrubriek:Programmeren, Computer en informatica
Serie:Springer-Lehrbuch
Inhoudsopgave
Vorwort.- Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen.- Programmtransformationen.- Spezifikationstechniken: Die Z Notation.- Ablaufspezifikationen, Synchronisierung und Kommunikation.- Literaturverzeichnis.- Programmverzeichnis.- Stichwortverzeichnis.