Sie sind hier
E-Book

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

eBook Programmierung - eine Einführung in die Informatik mit Standard ML Cover
Autor
Verlag
Erscheinungsjahr
2008
Seitenanzahl
385
Seiten
ISBN
9783486595345
Format
PDF
Kopierschutz
Wasserzeichen
DRM
Geräte
PC
MAC
eReader
Tablet
Preis
34,95
EUR

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.

Kaufen Sie hier:

E-Book Tabs

Weitere E-Books zum Thema: Programmiersprachen - Softwareentwicklung

Informationsmanagement 2.0

eBook Informationsmanagement 2.0 Cover

Inhaltsangabe:Einleitung: Informationen werden alltäglich und in jeder möglichen Art und Form innerhalb des gesellschaftlichen Zusammenlebens benötigt. Sie bestimmen unter anderem, in welche ...

Die Programmiersprache Ruby

eBook Die Programmiersprache Ruby Cover

Die Programmiersprache Ruby ist das maßgebliche Handbuch zu Ruby mit einer umfassenden Beschreibung der Sprachversionen 1.8 und 1.9. Es wurde für erfahrene Programmierer geschrieben, die ...

Groovy im Einsatz

eBook Groovy im Einsatz Cover

Groovy, die brandneue Sprache für die Java-Plattform, stellt für Java viele der neuen dynamischen Features zur Verfügung, die Ruby und Rails populär gemacht haben. In diesem Buch stellen ...

Objective-C und Cocoa

eBook Objective-C und Cocoa Cover

Nach dem großen Erfolg des ersten Bandes zu den Apple Developer-Tools Objective-C und Cocoa erscheint nun die Fortsetzung für fortgeschrittene Entwickler. Beide Bände umfassen sämtliche wichtigen ...

Weitere Zeitschriften

Baumarkt

Baumarkt

Baumarkt enthält eine ausführliche jährliche Konjunkturanalyse des deutschen Baumarktes und stellt die wichtigsten Ergebnisse des abgelaufenen Baujahres in vielen Zahlen und Fakten zusammen. Auf ...

Card Forum International

Card Forum International

Card Forum International, Magazine for Card Technologies and Applications, is a leading source for information in the field of card-based payment systems, related technologies, and required reading ...

die horen

die horen

Zeitschrift für Literatur, Kunst und Kritik."...weil sie mit großer Aufmerksamkeit die internationale Literatur beobachtet und vorstellt; weil sie in der deutschen Literatur nicht nur das Neueste ...

Die Versicherungspraxis

Die Versicherungspraxis

Behandlung versicherungsrelevanter Themen. Erfahren Sie mehr über den DVS. Der DVS Deutscher Versicherungs-Schutzverband e.V, Bonn, ist der Interessenvertreter der versicherungsnehmenden Wirtschaft. ...

EineWelt

EineWelt

Eine Anregung der Gossner Mission zum verbesserten Schutz indigener Völker hat Bundespräsident Horst Köhler aufgegriffen: Er hat auf Anregung des Missionswerkes eine Anfrage an die Bundesregierung ...