Automated Verification of Dynamic Access Control Policies

Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Verification of Dynamic Access Control Policies
Hugendubel
67.99 EUR
Preis aktualisiert am: 07-11-2026 08:35:18
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

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 Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Aus53.49 EUR 3
Produkt anzeigen
Krishna, Siddharth: Automated Verification of Concurrent Search Structures
Krishna, Siddharth: Automated Verification of Concurrent Search Structures
Aus58.24 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 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ü