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

Programmierung - eine Einführung in die Informatik mit Standard ML / / Gert Smolka.

Show other versions (1)

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

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
VerfasserIn:
Smolka, Gert,
Place / Publishing House:Berlin ;, Boston : : Oldenbourg Wissenschaftsverlag, , [2012]
©2011
Year of Publication:2012
Edition:korrigierte Auflage
Language:German
Online Access:
Physical Description:1 online resource (371 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Front Matter
  • 1 Schnellkurs
  • 2 Programmiersprachliches
  • 3 Höherstufige Prozeduren
  • 4 Listen und Strings
  • 5 Sortieren
  • 6 Konstruktoren und Ausnahmen
  • 7 Bäume
  • 8 Mengenlehre
  • 9 Mathematische Prozeduren
  • 10 Induktive Korrektheitsbeweise
  • 11 Laufzeit rekursiver Prozeduren
  • 12 Statische und dynamische Semantik
  • 13 Konkrete Syntax
  • 14 Datenstrukturen
  • 15 Speicher und veränderliche Objekte
  • 16 Stapelmaschinen und Übersetzer
  • Back Matter

Similar Items