Gerhard Goos

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen. Auflage 1997.
kartoniert , 300 Seiten
ISBN 3540606556
EAN 9783540606550
Veröffentlicht September 1997
Verlag/Hersteller Springer Berlin Heidelberg

Auch erhältlich als:

pdf eBook
20,67
29,99 inkl. MwSt.
Lieferbar innerhalb von 3-5 Tagen (Versand mit Deutscher Post/DHL)
Teilen
Beschreibung

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.

Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17

DE - 69121 Heidelberg

E-Mail: ProductSafety@springernature.com

Das könnte Sie auch interessieren

Harald Zisler
Computer-Netzwerke
epub eBook
Download
29,90
Michael Kofler
Linux
epub eBook
Download
49,90
Download
21,99
Dirk Becker
Einstieg in Linux Mint 22
epub eBook
Download
29,90
Download
25,99
Andreas Eschbach
Hide*Out
epub eBook
Download
7,99
Gernot Starke
Software-Architektur kompakt
pdf eBook
Download
8,98
Paul Wilmott
Wie funktioniert eigentlich KI?
epub eBook
Download
13,52
Petra van Laak
Einfach klar!
epub eBook
Download
24,90

 

Rechte Egoshooter
epub eBook
Download
4,99