Vorlesungen ber Informatik
Vorlesungen ber Informatik
Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540606550
Condition
New
Product Description
Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bnde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexittstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einfhrend 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 errtert, wie man Systemaufgaben analysiert und spezifiziert.
Available Colors
Available Sizes
1 Offer
Price Range: $29.99 - $29.99
Price Comparison
Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
---|---|---|---|---|---|---|---|---|---|---|
BEST PRICE 1 Product Purchase
|
$29.99 | $29.99 |
|
$29.99 | See Site | In stock | Visit Store |