UID:
almahu_9947359979302882
Format:
Online-Ressource (XIV, 371 S.)
Edition:
2., korrigierte Aufl.
Edition:
Online-Ausg. 2012
ISBN:
9783486719734
Series Statement:
Informatik 10-2012
Content:
Diese Einführung in die Informatik ermöglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschäftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken für Korrektheitsbeweise und Laufzeitbestimmungen
Content:
Main description: Diese Einführung in die Informatik ermöglicht es, auch anspruchsvolle Programme mit der funktionalen Programmiersprache Standard ML einfach und ohne Vorkenntnisse zu realisieren. Das Buch beschäftigt sich mit dem Aufbau von Programmiersprachen sowie grundlegenden Techniken für Korrektheitsbeweise und Laufzeitbestimmungen.
Content:
Review text: "Dieses Buch ist eine perfekte Einführung in die fundamentalen Themen der Informatik." Univ.-Prof. Holger Hermanns, Universität des Saarlandes
Note:
Description based upon print version of record
Language:
German
Subjects:
Computer Science
Keywords:
Electronic books
DOI:
10.1524/9783486719734
URN:
10.1524/9783486719734
URL:
http://dx.doi.org/10.1524/9783486719734
URL:
http://www.degruyter.com/search?f_0=isbnissn&q_0=9783486719734&searchTitles=true
URL:
Volltext
(lizenzpflichtig)
Author information:
Smolka, Gert, 1955-
Bookmarklink