Vorlesungen über Informatik von Goos,  Gerhard

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 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.

> findR *
Produktinformationen

Vorlesungen über Informatik online kaufen

Die Publikation Vorlesungen über Informatik - Berechenbarkeit, formale Sprachen, Spezifikationen von ist bei Springer Berlin erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: algorithm analysis and problem complexity, Algorithmen, Automaten, Datenstruktur, Endliche Automaten, formale Sprache, Kommunikation, Komplexitaet, Komplexitätsklassen, Komplexitätstheorie, Objektorientiert, Programmieren, reguläre Sprache, rekursive Funktion, Turingmaschine, Z-Notation. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buchfindr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 20.67 EUR und in Österreich 20.67 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!