Semantik / Lehrbuch Informatik (PDF)

Name: Semantik / Lehrbuch Informatik
Brand: Vieweg+Teubner Verlag
SKU: 103726352
Price: 53.00 CHF
Availability: OnlineOnly

Theorie sequentieller und paralleler Programmierung

Autor: Eike Best

Schreiben Sie einen Kommentar zu "Semantik / Lehrbuch Informatik".

Semantik / Lehrbuch Informatik, Eike Best

Merken

Mehr zum Inhalt Autorenporträt Video

sofort als Download lieferbar

Bestellnummer: 103726352

eBook (pdf) Fr. 53.00

inkl. MwSt.

Download bestellen

Verschenken

Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Semantik / Lehrbuch Informatik (PDF)“

Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluss einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluss einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben grösseren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.

Autoren-Porträt von Eike Best

Prof. Dr. Eike Best lehrt Theoretische Informatik an der Universität Hildesheim. Er hat in Karlsruhe studiert, in Newcastle (England) promoviert und sich in Bonn für Informatik habilitiert. Seine Forschungsinteressen konzentrieren sich auf das Gebiet Semantik und Verifikation paralleler und verteilter Systeme.