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
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9781475727159
Neu kaufen
EUR 59,06
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9781475727159
Neu kaufen
EUR 53,97
EUR 5,79 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
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. Bestandsnummer des Verkäufers ria9781475727159_new
Neu kaufen
EUR 52,61
EUR 13,81 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar