{
"item_title" : "Programmierung - Eine Einführung in Die Informatik Mit Standard ML",
"item_author" : [" Gert Smolka "],
"item_description" : "Diese Einf hrung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden k nnen. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen undbersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken f r Korrektheitsbeweise und Laufzeitbestimmungen behandelt.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/48/670/517/3486705172_b.jpg",
"price_data" : {
"retail_price" : "63.00", "online_price" : "63.00", "our_price" : "63.00", "club_price" : "63.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Overview
Diese Einf hrung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden k nnen. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und bersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken f r Korrektheitsbeweise und Laufzeitbestimmungen behandelt.
Customers Also Bought
Details
- ISBN-13: 9783486705171
- ISBN-10: 3486705172
- Publisher: de Gruyter Oldenbourg
- Publish Date: July 2011
- Dimensions: 9.4 x 6.7 x 0.9 inches
- Shipping Weight: 1.6 pounds
- Page Count: 385
Related Categories
