Springer
Vorlesungen ?ber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen
Product Code:
9783540606550
ISBN13:
9783540606550
Condition:
New
$35.61
Vorlesungen ?ber Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen
$35.61
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.
| Author: Gerhard Goos |
| Publisher: Springer |
| Publication Date: Sep 12, 1997 |
| Number of Pages: 284 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540606556 |
| ISBN-13: 9783540606550 |
Related Products
