Vorlesungen über Informatik
Berechenbarkeit, formale Sprachen, Spezifikationen
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...
Leider schon ausverkauft
Buch
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Vorlesungen über Informatik “
Klappentext zu „Vorlesungen über Informatik “
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. TOC:Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen. - Programmtransformationen.- Spezifikationsmethoden I: Z.- Verhaltensspezifikationen, Synchronisierung und Kommunikation.
Inhaltsverzeichnis zu „Vorlesungen über Informatik “
Vorwort.- Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen.- Programmtransformationen.- Spezifikationstechniken: Die Z Notation.- Ablaufspezifikationen, Synchronisierung und Kommunikation.- Literaturverzeichnis.- Programmverzeichnis.- Stichwortverzeichnis.
Bibliographische Angaben
- Autor: Gerhard Goos
- 1997, 284 Seiten, 4 Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Deutsch
- Verlag: Springer
- ISBN-10: 3540606556
- ISBN-13: 9783540606550
- Erscheinungsdatum: 12.09.1997
Kommentar zu "Vorlesungen über Informatik"
0 Gebrauchte Artikel zu „Vorlesungen über Informatik“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Vorlesungen über Informatik".
Kommentar verfassen