Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 02.09.2026 auf fremdsprachige Bücher in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
Produktbild: Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

Aus der Reihe Synthesis Lectures on Computer Science

55,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.2021

Abbildungen

X, 182 p.

Verlag

Springer

Seitenzahl

182

Maße (L/B/H)

23,5/19,1/1,1 cm

Gewicht

370 g

Sprache

Englisch

ISBN

978-3-031-00678-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.2021

Abbildungen

X, 182 p.

Verlag

Springer

Seitenzahl

182

Maße (L/B/H)

23,5/19,1/1,1 cm

Gewicht

370 g

Sprache

Englisch

ISBN

978-3-031-00678-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Verification of Concurrent Search Structures
  • Acknowledgments.- Introduction.- Preliminaries.- Separation Logic.- Ghost State.- The Keyset Resource Algebra.- The Edgeset Framework for Single-Copy Structures.- The Flow Framework.- Verifying Single-Copy Concurrent Search Structures.- Verifying Multicopy Structures.- The Edgeset Framework for Multicopy Structures.- Reasoning about Non-Static and Non-Local Linearization Points.- Verifying the LSM DAG Template.- Proof Mechanization and Automation.- Related Work, Future Work, and Conclusion.- Bibliography.- Authors' Biographies.