Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

For Multithreaded Object-Oriented Languages
Wo zu kaufen (3) Eigenschaften
Gesponsert
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Medimops DE
66.74 EUR
Preis aktualisiert am: 28-10-2026 13:18:49
Siehe Produktangebot
Gesponsert
Separation Logic for Multithreaded Object-Oriented Languages
Hugendubel
67.99 EUR
Preis aktualisiert am: 29-10-2026 14:06:50
Siehe Produktangebot
Gesponsert
Separation Logic for Multithreaded Object-Oriented Languages, Fachbücher
Galaxus.de
68.00 EUR
Preis aktualisiert am: 29-10-2026 14:02:07
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

Separation Logic for High-level Synthesis (Springer Theses)
Separation Logic for High-level Synthesis (Springer Theses)
Aus106.84 EUR 4
Produkt anzeigen
Separation Logic for High-level Synthesis (Springer Theses)
Separation Logic for High-level Synthesis (Springer Theses)
Aus95.98 EUR 3
Produkt anzeigen
High Efficiency Separation Techniques: Fast HPLC Using Monolithic Silica Columns and Chiral Separation Using CZE
High Efficiency Separation Techniques: Fast HPLC Using Monolithic Silica Columns and Chiral Separation Using CZE
Aus58.99 EUR 2
Produkt anzeigen
Counter-Flow RHVT (C-RHVT): An Experimental and CFD Numerical Study
Counter-Flow RHVT (C-RHVT): An Experimental and CFD Numerical Study
Aus54.90 EUR 2
Produkt anzeigen
Separation process of a binary Two-phase hydrocarbon mixture by RHVT
Separation process of a binary Two-phase hydrocarbon mixture by RHVT
Aus39.90 EUR 2
Produkt anzeigen
Doctrine of Separation of Powers under the Nigerian Constitution
Doctrine of Separation of Powers under the Nigerian Constitution
Aus69.90 EUR 2
Produkt anzeigen
Menü