Del i serien Springer-Lehrbuch
Vorlesungen über Informatik
Berechenbarkeit, formale Sprachen, Spezifikationen
Häftad, Tyska, 1997
419 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (2)
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.
Produktinformation
- Utgivningsdatum1997-09-12
- Mått155 x 235 x 17 mm
- Vikt458 g
- FormatHäftad
- SpråkTyska
- SerieSpringer-Lehrbuch
- Antal sidor284
- Upplaga1997
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540606550
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Empirische Wirtschaftsforschung
Thomas K. Bauer, Michael Fertig, Christoph M. Schmidt
Häftad, 2009
679 kr
Vergleichende und funktionelle Anatomie der Wirbeltiere
Milton Hildebrand, George Goslow
Inbunden, 2003
1 139 kr
Hoppa över listan
Du kanske också är intresserad av
Del 28
Technology for the United States Navy and Marine Corps, 2000-2035: Becoming a 21st-Century Force
National Research Council, and Applications Commission on Physical Sciences, Mathematics, Naval Studies Board, Committee on Technology for Future Naval Forces, Panel on Information in Warfare
Häftad, 1997
1 949 kr
Del 3
Gesammelte Werke 03. Frühe Romane 3. Gelächter im Dunkel. Verzweiflung. Kamera Obscura
Vladimir Nabokov
Inbunden, 1997
609 kr