Model-checking infinite state systems for information flow security | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Model-checking infinite state systems for information flow security
  • #

Model-checking infinite state systems for information flow security

71.99 EUR

Teilen:
Gesponsert

Model-checking infinite state systems for information flow security

Hugendubel
71.99 EUR
26-09-2026 00:48:19

Ähnliche Produkte

25 Years of Model Checking

25 Years of Model Checking

37.44 EUR
Carmona, Josep: Conformance Checking

Carmona, Josep: Conformance Checking

90.94 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

53.49 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

53.49 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

54.99 EUR