• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Semantik: Theorie Sequentieller Und Paralleler Programmierung

Semantik: Theorie Sequentieller Und Paralleler Programmierung

Paperback

Series: Lehrbuch Informatik

Technology & Engineering

ISBN10: 3322868249
ISBN13: 9783322868244
Publisher: Vieweg+teubner Verlag
Published: Mar 14 2012
Pages: 370
Weight: 1.36
Height: 0.80 Width: 6.69 Depth: 9.61
Language: German
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.

Also in

Technology & Engineering