Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Semantik: Theorie sequentieller und paralleler Programmierung

64.96 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10476548

Beschreibung

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.

Eigenschaften

Breite:	171
Gewicht:	667 g
Höhe:	246
Länge:	23
Seiten:	370
Sprachen:	Deutsch
Autor:	Eike Best

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller