Vorlesungen über Informatik
Produktnummer:
16A1401152
| Autor: | Goos, Gerhard |
|---|---|
| Themengebiete: | Berechenbarkeit EDV / Theorie / Informatik / Allgemeines Informatik |
| Veröffentlichungsdatum: | 12.09.1997 |
| EAN: | 9783540606550 |
| Auflage: | 1997 |
| Sprache: | Deutsch |
| Seitenzahl: | 300 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Untertitel: | Berechenbarkeit, formale Sprachen, Spezifikationen |
Produktinformationen "Vorlesungen über Informatik"
Band 3 baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf. Er vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten und führt in die Transformation von Programmen und in die Spezifikationstechnik ein. Der Autor stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Der Leser lernt anhand der Z-Notation und der Statecharts-Technik, wie man Systemaufgaben analysiert und spezifiziert.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen