1. Home
  2. Automated Verification of Concurrent Search Structures
  • #

Automated Verification of Concurrent Search Structures

46.00 EUR

Teilen:
Gesponsert

Automated Verification of Concurrent Search Structures

SpringerLink DE
46.00 EUR
29-04-2026 10:13:24

Ähnliche Produkte

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

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

117.69 EUR
Validation and Verification of Automated Systems

Validation and Verification of Automated Systems

71.68 EUR
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53.49 EUR
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

42.79 EUR
Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

42.79 EUR
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

42.79 EUR