Vorlesungen Ber Informatik: Band 3: Berechenbarkeit, Formale Sprachen, Spezifikationen (Springer-Lehrbuch)

by Gerhard Goos (Author)

• New

  Paperback
  2009

  $31.21

  Dieses Lehrbuch baut auf den Themen Grundlagen und funktionales Programmieren und Objektorientiertes Programmieren und Algorithmen der ersten beiden Bande auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitatstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einfuhrend 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 erortert, wie man Systemaufgaben analysiert und spezifiziert.