Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich fur 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 zunachst getrennt beschrieben und dann zu einer einheitlichen Semantik fur parallele Programme zusammengefugt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansatzen. Das Buch ist vollstandig mit leicht verstandlichen Beweisen und praktische relevanten Beispielen versehen und enthalt neben grosseren Fallstudien auch Ubungsaufgaben mit Musterlosungen sowie eine breite Literaturauswahl.
- ISBN10 3322868249
- ISBN13 9783322868244
- Publish Date 31 July 2012 (first published 1 November 1994)
- Publish Status Active
- Publish Country DE
- Publisher Springer Fachmedien Wiesbaden
- Imprint Vieweg+Teubner Verlag
- Edition Softcover reprint of the original 1st ed. 1995
- Format Paperback
- Pages 384
- Language German