Verification of Sequential and Concurrent Programs - Softcover
Buch 14 von 16: Monographs in Computer Science
Inhaltsangabe
1 Introduction.- 2 Preliminaries.- 3 Deterministic Programs.- 4 Disjoint Parallel Programs.- 5 Parallel Programs with Shared Variables.- 6 Parallel Programs with Synchronization.- 7 Nondeterministic Programs.- 8 Distributed Programs.- 9 Fairness.- References.- Author Index.- Symbol Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Verification of Sequential and Concurrent Programs
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9781475727159_new
Neu kaufen
EUR 54,04
EUR 13,86 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar