Placeholder text

Go to cart

Vorlesungen über Informatik: "Berechenbarkeit, Formale Sprachen, Spezifikationen" (Springer-Lehrbuch)

By Gerhard Goos

Vorlesungen über Informatik: "Berechenbarkeit, Formale Sprachen, Spezifikationen" (Springer-Lehrbuch) Computer Science

Vorlesungen über Informatik: "Berechenbarkeit, Formale Sprachen, Spezifikationen" (Springer-Lehrbuch)

0 - Used - good
Description
Band 3 baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf. Er vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten und führt in die Transformation von Programmen und in die Spezifikationstechnik ein. Der Autor stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Der Leser lernt anhand der Z-Notation und der Statecharts-Technik, wie man Systemaufgaben analysiert und spezifiziert.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
300
Release Date:
2013-10-04
Publication Date:
2013-10-04
Publisher:
Springer
Languages:
Published: German, Original: German
ISBN10:
3540606556
GPSR Manufacturer Reference:
[email protected]
Weight:
422 g
Buy on Amazon
Currently sold out