1. Home
  2. Medien
  3. Bücher
  4. Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
  • #

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

68.00 EUR

Teilen:
Gesponsert

Separation Logic for Multithreaded Object-Oriented Languages, Fachbücher

Galaxus.de
68.00 EUR
21-04-2026 19:14:25

Ähnliche Produkte

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

59.00 EUR
Counter-Flow RHVT

Counter-Flow RHVT

54.90 EUR
Separation process of a binary Two-phase hydrocarbon mixture by RHVT

Separation process of a binary Two-phase hydrocarbon mixture by RHVT

39.90 EUR
Doctrine of Separation of Powers under the Nigerian Constitution

Doctrine of Separation of Powers under the Nigerian Constitution

69.90 EUR
Separation Logic for High-level Synthesis (Springer Theses)

Separation Logic for High-level Synthesis (Springer Theses)

104.34 EUR
Separation Logic for High-level Synthesis (Springer Theses)

Separation Logic for High-level Synthesis (Springer Theses)

106.84 EUR
Regragui, Anissa: Séparation du mélange eau-éthanol par le procédé de pervaporation

Regragui, Anissa: Séparation du mélange eau-éthanol par le procédé de pervaporation

35.90 EUR
Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

85.59 EUR