Automated Verification of Concurrent Search Structures (Synthesis Lectures on Computer Science) | DealShopping Deutschland
  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)

60.49 EUR 58.24 EUR 4% Off

Teilen:
Gesponsert

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

Medimops DE
58.24 EUR
11-08-2026 00:31:56
Gesponsert

Automated Verification of Concurrent Search Structures

SpringerLink DE
60.49 EUR
11-08-2026 09:26:08

Ähnliche Produkte

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
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

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

53.17 EUR
Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

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

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

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

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

177.00 EUR
Automated Verification of Dynamic Access Control Policies

Automated Verification of Dynamic Access Control Policies

68.00 EUR