Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783540606550
- ISBN-10: 3540606556
- Publisher: Springer
- Publish Date: September 1997
- Dimensions: 9.21 x 6.14 x 0.63 inches
- Shipping Weight: 0.93 pounds
- Page Count: 284
Related Categories
