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

Fragile Agile

eBook Fragile Agile Cover

FRAGILE AGILEGehören Sie auch zu denen, die sich schon in einem agilen Projekt quälen mussten und enttäuscht waren, dass die Agilität nicht funktioniert hat? Und das, obwohl man doch immer wieder ...

JavaServer Faces 2.0

eBook JavaServer Faces 2.0 Cover

DAS ARBEITSBUCH FÜR JAVA-WEB-ENTWICKLER - Fundierte und praxisorientierte Einführung in die Entwicklung von Benutzerschnittstellen mit JavaServer Faces 2.0 - Komplette Beispielanwendung, an der ...

OSGi für Praktiker

eBook OSGi für Praktiker Cover

Dieses Praxisbuch führt Sie in die Welt von OSGi ein und vermittelt Ihnen alles, was Sie wissen müssen, um OSGi erfolgreich in Ihrem Projekt einzusetzen. Es unterstützt Sie bei der ...

Weitere Zeitschriften

Atalanta

Atalanta

Atalanta ist die Zeitschrift der Deutschen Forschungszentrale für Schmetterlingswanderung. Im Atalanta-Magazin werden Themen behandelt wie Wanderfalterforschung, Systematik, Taxonomie und Ökologie. ...

AUTOCAD & Inventor Magazin

AUTOCAD & Inventor Magazin

FÜHREND - Das AUTOCAD & Inventor Magazin berichtet seinen Lesern seit 30 Jahren ausführlich über die Lösungsvielfalt der SoftwareLösungen des Herstellers Autodesk. Die Produkte gehören zu ...

bank und markt

bank und markt

Zeitschrift für Retailbanking, Marketing, Absatz und Vertriebstechnik der Finanzdienstleister Leitthemen: Absatz und Akquise im Multichannel zwischen Filiale und Internet, Produktpolitik in ...

BONSAI ART

BONSAI ART

Auflagenstärkste deutschsprachige Bonsai-Zeitschrift, basierend auf den renommiertesten Bonsai-Zeitschriften Japans mit vielen Beiträgen europäischer Gestalter. Wertvolle Informationen für ...

Courier

Courier

The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...

elektrobörse handel

elektrobörse handel

elektrobörse handel gibt einen facettenreichen Überblick über den Elektrogerätemarkt: Produktneuheiten und -trends, Branchennachrichten, Interviews, Messeberichte uvm.. In den monatlichen ...