Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Online-Ressource
    Online-Ressource
    München : Oldenbourg
    UID:
    gbv_1651876002
    Umfang: XIV, 371 S. , graph. Darst. , 240 mm x 170 mm
    Ausgabe: 2., korr. Aufl.
    Ausgabe: Online-Ausg. 2012 Online-Resource
    ISBN: 9783486705171
    Serie: Informatik 10-2012
    Inhalt: 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.
    Anmerkung: In: Oldenbourg-link.com , In German
    Weitere Ausg.: ISBN 9783486719734
    Weitere Ausg.: ISBN 9783486705171
    Weitere Ausg.: Erscheint auch als Druckausgabe Smolka, Gert, 1955 - Programmierung - eine Einführung in die Informatik mit Standard ML München : Oldenbourg, 2011 ISBN 3486705172
    Weitere Ausg.: ISBN 9783486705171
    Sprache: Deutsch
    Fachgebiete: Informatik
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Programmierung ; Programmiersprache ; Standard ML
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Cover
    Mehr zum Autor: Smolka, Gert 1955-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz