Universitšt Karlsruhe
Vorlesungen √ľber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen
@book{Goos:1997:Info3,
  author={Gerhard Goos},
  title=\{Vorlesungen √ľber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen},
  year=\{1997},
  month=\{Jan},
  publisher=\{Springer},
  abstract=\{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.
(siehe auch  http://www.info.uni-karlsruhe.de/~i44www/goos-buch.html)
},
  url=\{http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-60655-6},
}

Login
Links