Diese Einfuhrung in die Informatik ermoglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschaftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken fur Korrektheitsbeweise und Laufzeitbestimmungen.
"synopsis" may belong to another edition of this title.
"Dieses Buch ist eine perfekte Einfuhrung in die fundamentalen Themen der Informatik." Univ.-Prof. Holger Hermanns, Universitat des Saarlandes"
"About this title" may belong to another edition of this title.
Seller: Buchpark, Trebbin, Germany
Condition: Gut. Zustand: Gut | Seiten: 371 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 4081904/203
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 371 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 4081904/202