| Vorlesungen Über Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen 1997 Edition Contributor(s): Goos, Gerhard (Author) |
|
 |
ISBN: 3540606556 ISBN-13: 9783540606550 Publisher: Springer OUR PRICE: $28.49 Product Type: Paperback - Other Formats Language: German Published: September 1997 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Intelligence (ai) & Semantics - Computers | Software Development & Engineering - General |
| Dewey: 005.1 |
| Series: Springer-Lehrbuch |
| Physical Information: 0.63" H x 6.14" W x 9.21" (0.93 lbs) 284 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bdnde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitdtstheorie, 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 ervrtert, wie man Systemaufgaben analysiert und spezifiziert. |