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

Verification of Sequential and Concurrent Programs

111.11 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10380042

Beschreibung

Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic Programs Distributed Programs Fairness

Eigenschaften

Breite:	157
Gewicht:	916 g
Höhe:	242
Länge:	36
Seiten:	502
Sprachen:	Englisch
Autor:	Amir Pnueli, Ernst-Rüdiger Olderog, Frank S. de Boer, Krzysztof R. Apt

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