Best | Semantik | E-Book | sack.de
E-Book

E-Book, Deutsch, 370 Seiten, eBook

Reihe: Lehrbuch Informatik

Best Semantik

Theorie sequentieller und paralleler Programmierung
1995
ISBN: 978-3-322-86823-7
Verlag: Vieweg & Teubner
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Theorie sequentieller und paralleler Programmierung

E-Book, Deutsch, 370 Seiten, eBook

Reihe: Lehrbuch Informatik

ISBN: 978-3-322-86823-7
Verlag: Vieweg & Teubner
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Best Semantik jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Best, Eike

Weitere Infos & Material

Inhalt: Mathematische Grundlagen inkl. Fixpunkttheorie - Relationale, axiomatische, prädikative Semantik sequentieller nichtdeterministischer Programme - Kontrollfluß, algebraische und Petrinetz-gestützte Ansätze - Fairness - Parallele Programme auf gemeinsamen Variablenbereichen - Kommunizierende parallele Programme - operationale Semantik - Verifikationsbeispiele.

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.