Noch Fragen? 0800 / 33 82 637

Vorlesungen über Informatik

Berechenbarkeit, formale Sprachen, Spezifikationen

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Deutsch

ISBN: 978-3-642-59140-2 / 978-3642591402 / 9783642591402

Verlag: Springer Berlin

Erscheinungsdatum: 11.03.2013

Seiten: 284

Autor(en): Gerhard Goos

20,67 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück