Krishna, Siddharth: Automated Verification of Concurrent Search Structures

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
Medimops DE
58.24 EUR
Preis aktualisiert am: 06-11-2026 05:30:53
Siehe Produktangebot
Gesponsert
Automated Verification of Concurrent Search Structures
SpringerLink DE
60.49 EUR
Preis aktualisiert am: 06-11-2026 16:45:47
Siehe Produktangebot

Allgemein

Marke
Krishna Siddharth

Eigenschaften

Ähnliche Produkte

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Aus160.49 EUR 3
Produkt anzeigen
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
Aus46.00 EUR 2
Produkt anzeigen
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)
Aus54.95 EUR 2
Produkt anzeigen
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Aus116.47 EUR 2
Produkt anzeigen
Automated Verification of Dynamic Access Control Policies
Automated Verification of Dynamic Access Control Policies
Aus67.99 EUR 2
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Aus177.00 EUR 1
Produkt anzeigen
Menü