Hugendubel.de - Das Lesen ist schön

Warenkorb

€ 0,00 0 Buch dabei,
portofrei
Bücher immer versandkostenfrei
Vorlesungen über Informatik als Buch
PORTO-
FREI

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen. 'Springer-Lehrbuch'. Auflage 1997. Book.
Buch (kartoniert)
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 d... weiterlesen
Dieses Buch ist auch verfügbar als:
Buch

29,99*

inkl. MwSt.
Portofrei
Sofort lieferbar
Vorlesungen über Informatik als Buch
Produktdetails
Titel: Vorlesungen über Informatik
Autor/en: Gerhard Goos

ISBN: 3540606556
EAN: 9783540606550
Berechenbarkeit, formale Sprachen, Spezifikationen.
'Springer-Lehrbuch'.
Auflage 1997.
Book.
Springer Berlin Heidelberg

12. September 1997 - kartoniert - 300 Seiten

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. TOC:Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen. - Programmtransformationen.- Spezifikationsmethoden I: Z.- Verhaltensspezifikationen, Synchronisierung und Kommunikation.

Inhaltsverzeichnis

Vorwort.- Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen.- Programmtransformationen.- Spezifikationstechniken: Die Z Notation.- Ablaufspezifikationen, Synchronisierung und Kommunikation.- Literaturverzeichnis.- Programmverzeichnis.- Stichwortverzeichnis.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** im Vergleich zum dargestellten Vergleichspreis.