Vor Ort
Merkzettel Warenkorb
Produktbild: Semantik

Semantik Theorie sequentieller und paralleler Programmierung

Aus der Reihe Lehrbuch Informatik

59,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.03.2012

Verlag

Vieweg & Teubner

Seitenzahl

370

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

668 g

Auflage

Softcover reprint of the original 1st ed. 1995

Sprache

Deutsch

ISBN

978-3-322-86824-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.03.2012

Verlag

Vieweg & Teubner

Seitenzahl

370

Maße (L/B/H)

24,4/17/2,1 cm

Gewicht

668 g

Auflage

Softcover reprint of the original 1st ed. 1995

Sprache

Deutsch

ISBN

978-3-322-86824-4

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

Weitere Artikel finden Sie in
  • Produktbild: Semantik
  • 1 Einleitung.- 1.1 Übersicht.- 1.2 Inhalt.- 1.3 Historisches zur Semantik sequentieller Programme.- 1.4 Historisches zur Semantik paralleler Programme.- 1.5 Literaturangaben.- 2 Mathematische Grundlagen.- 2.1 Logik, Gleichheit und Mengen.- 2.2 Relationen, Funktionen und Operationen.- 2.3 Halbordnungen.- 2.4 Verbände.- 2.5 Boolesche Algebren, Teilmengen und Prädikate.- 2.6 Variablen, Zustände und Ausdrücke.- 2.7 Graphen.- 2.8 Folgen.- 2.9 Literaturangaben.- 2.10 Übungsaufgaben.- 3 Semantik sequentieller Programme.- 3.1 Sequentielle nichtdeterministische Programme.- 3.2 Operationale und relationale Semantik.- 3.3 Beweisregeln.- 3.4 Die wp -Semantik.- 3.5 Bemerkungen zum Entwurf von Programmen.- 3.6 Literaturangaben.- 3.7 Übungsaufgaben.- 4 Von sequentiellen zu parallelen Systemen.- 4.1 Zur operationalen Semantik paralleler Programme.- 4.2 Atomare Aktionen und Kontrollfluß.- 4.3 Kontrollfluß und Datenfluß.- 4.4 Literaturangaben.- 4.5 Übungsaufgaben.- 5 Kontrollprogramme und Petrinetze.- 5.1 Kontrollprogramme und ihr Verhalten.- 5.2 Petrinetze und ihr Verhalten.- 5.3 Netzsemantik von Top-Level-Kontrollprogrammen.- 5.4 Zur Benutzung von Kontrollprogrammen und Netzen.- 5.5 Literaturangaben.- 5.6 Übungsaufgaben.- 6 Operationale Semantik und Fairness.- 6.1 Sequentielle Programme mit atomaren Aktionen.- 6.2 Operationale Semantik.- 6.3 Eine Hierarchie von Fairnessbegriffen.- 6.4 Literaturangaben.- 6.5 Übungsaufgaben.- 7 Programme mit globalem Speicher.- 7.1 Syntax und Motivation.- 7.2 Operationale Semantik.- 7.3 Ergänzende Bemerkungen.- 7.4 Algorithmen zum wechselseitigen Ausschluß.- 7.5 Das Owicki / Griessche Beweissystem.- 7.6 Beispiele und Fallstudien.- 7.7 Literaturangaben.- 7.8 Übungsaufgaben.- 8 Kommunizierende Programme.- 8.1 Syntax und Beispiele.- 8.2Operationale Semantik.- 8.3 Ergänzende Bemerkungen.- 8.4 Ein Mengenpartitionsprogramm.- 8.5 Ein Beweissystem.- 8.6 Beispiele und Fallstudien.- 8.7 Literaturangaben.- 8.8 Übungsaufgaben.- A Beweise und Lösungen.- Bibliographie.- Index der Definitionen.