Automated Verification of Dynamic Access Control Policies

Wo zu kaufen (1) Eigenschaften
Gesponsert
Automated Verification of Dynamic Access Control Policies, Fachbücher
Galaxus.de
68.00 EUR
Preis aktualisiert am: 30-04-2026 12:25:27
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

Validation and Verification of Automated Systems
Validation and Verification of Automated Systems
Produkt anzeigen
Krishna, Siddharth: Automated Verification of Concurrent Search Structures
Krishna, Siddharth: Automated Verification of Concurrent Search Structures
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)
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
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
Produkt anzeigen
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Produkt anzeigen
Menü