• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Vorlesungen Über Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

Vorlesungen Über Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen

Paperback

Series: Springer-Lehrbuch

General ComputersProgramming

ISBN10: 3540606556
ISBN13: 9783540606550
Publisher: Springer
Published: Sep 12 1997
Pages: 284
Weight: 0.93
Height: 0.63 Width: 6.14 Depth: 9.21
Language: German
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.

Also from

Goos, Gerhard

Also in

General Computers