Semantik: Theorie Sequentieller Und Paralleler Programmierung [German]

By Eike Best

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.

• Format: Paperback
• Language: German
• ISBN: 3322868249
• ISBN13: 9783322868244
• Release Date: March 2012
• Publisher: Vieweg+teubner Verlag
• Length: 370 Pages
• Weight: 1.36 lbs.
• Dimensions: 0.8" x 6.7" x 9.6"