Items related to Programmierung - eine Einführung in die Informatik...

Programmierung - eine Einführung in die Informatik mit Standard ML - Softcover

Smolka, Gert

 
9783486586015: Programmierung - eine Einführung in die Informatik mit Standard ML

Synopsis

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.

Review

"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.