Semantik / Lehrbuch Informatik (PDF)
Theorie sequentieller und paralleler Programmierung
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 Datenfluß einer imperativen und...
sofort als Download lieferbar
eBook (pdf)
48.31 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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 Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß 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ößeren 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.
Bibliographische Angaben
- Autor: Eike Best
- 2013, 1995, 370 Seiten, Deutsch
- Verlag: Vieweg+Teubner Verlag
- ISBN-10: 3322868230
- ISBN-13: 9783322868237
- Erscheinungsdatum: 11.11.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 18 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Semantik / Lehrbuch Informatik"
Schreiben Sie einen Kommentar zu "Semantik / Lehrbuch Informatik".
Kommentar verfassen