Login
 
Main Data
Author: Gert Smolka
Title: Programmierung - eine Einführung in die Informatik mit Standard ML
Publisher: De Gruyter Oldenbourg
ISBN/ISSN: 9783486595345
Edition: 1
Price: CHF 36.20
Publication date: 01/01/2008
Content
Category: Informatik, EDV Buch
Language: German
Technical Data
Pages: 385
Kopierschutz: Wasserzeichen/DRM
Geräte: PC/MAC/eReader/Tablet
Formate: PDF
Table of contents
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.