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
2011
Seitenanzahl
385
Seiten
ISBN
9783486719734
Format
PDF
Kopierschutz
Wasserzeichen
DRM
Geräte
PC
MAC
eReader
Tablet
Preis
44,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 ...

Reguläre Ausdrücke

eBook Reguläre Ausdrücke Cover

Reguläre Ausdrücke sind ein leistungsstarkes Mittel zur Verarbeitung von Texten und Daten. Wenn Sie reguläre Ausdrücke noch nicht kennen, wird Ihnen dieses Buch eine ganz neue Welt eröffnen. ...

Weitere Zeitschriften

Ärzte Zeitung

Ärzte Zeitung

Zielgruppe: Niedergelassene Allgemeinmediziner, Praktiker undInternisten.Charakteristik: Die Ärzte Zeitung liefert 3 x pro Woche bundesweitan niedergelassene Mediziner den ...

Burgen und Schlösser

Burgen und Schlösser

aktuelle Berichte zum Thema Burgen, Schlösser, Wehrbauten, Forschungsergebnisse zur Bau- und Kunstgeschichte, Denkmalpflege und Denkmalschutz Seit ihrer Gründung 1899 gibt die Deutsche ...

CAREkonkret

CAREkonkret

Die Wochenzeitung für Entscheider in der Pflege CAREkonkret ist die Wochenzeitung für Entscheider in der Pflege. Ambulant wie stationär. Sie fasst topaktuelle Informationen und Hintergründe ...

Correo

Correo

 La Revista de Bayer CropScience para la Agricultura ModernaPflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und am Thema Interessierten mit umfassender ...

dima

dima

Bau und Einsatz von Werkzeugmaschinen für spangebende und spanlose sowie abtragende und umformende Fertigungsverfahren. dima - die maschine - bietet als Fachzeitschrift die Kommunikationsplattform ...

e-commerce magazin

e-commerce magazin

PFLICHTLEKTÜRE – Seit zwei Jahrzehnten begleitet das e-commerce magazin das sich ständig ändernde Geschäftsfeld des Online- handels. Um den Durchblick zu behalten, teilen hier renommierte ...