Vorlesungen Über Informatik: Berechenbarkeit, Formale Sprachen, Spezifikationen - Paperback
by Gerhard Goos
$29.99
Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 29 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Gerhard GoosSeries:Springer-LehrbuchPublish date:9/12/1997Pages:284
Languages:GermanPublisher:SpringerISBN-13:9783540606550ISBN-10:3540606556UPC:9783540606550Book Category:ComputersBook Subcategory:Computer Science, Artificial Intelligence, Software Development & EngineeringSize:9.21 x 6.14 x 0.63 inchesWeight:0.422Product ID:SCMHHXYTXN
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.
Languages:GermanPublisher:SpringerISBN-13:9783540606550ISBN-10:3540606556UPC:9783540606550Book Category:ComputersBook Subcategory:Computer Science, Artificial Intelligence, Software Development & EngineeringSize:9.21 x 6.14 x 0.63 inchesWeight:0.422Product ID:SCMHHXYTXN
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.