1. Home
  2. Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)
  • #

Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)

58.84 EUR 58.24 EUR 1% Off

Teilen:
Gesponsert

Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science)

Medimops DE
58.24 EUR
29-04-2026 07:52:52
Gesponsert

Automated Verification of Concurrent Search Structures

SpringerLink DE
58.84 EUR
29-04-2026 10:13:21

Ähnliche Produkte

Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

46.00 EUR
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

160.49 EUR
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

116.47 EUR
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

160.49 EUR
Automated Verification of Dynamic Access Control Policies

Automated Verification of Dynamic Access Control Policies

68.00 EUR
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

53.91 EUR