1. Home
  2. Medien
  3. Bücher
  4. Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data
  • #
  • #

Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data

53.49 EUR

Teilen:
Gesponsert

Model-Checking Based Data Retrieval

SpringerLink DE
53.49 EUR
22-04-2026 09:18:23

Ähnliche Produkte

Satisfiability and Model Checking in Team Based Logics

Satisfiability and Model Checking in Team Based Logics

27.74 EUR
Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

0.00
Model checking trace-based information flow properties

Model checking trace-based information flow properties

49.00 EUR
Automated Verification of Dynamic Access Control Policies

Automated Verification of Dynamic Access Control Policies

68.00 EUR
Carmona, Josep: Conformance Checking

Carmona, Josep: Conformance Checking

90.94 EUR
25 Years of Model Checking

25 Years of Model Checking

37.44 EUR
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

53.49 EUR
Principles of Model Checking

Principles of Model Checking

128.56 EUR