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.90 EUR

Teilen:

Ähnliche Produkte

25 Years of Model Checking

25 Years of Model Checking

37.44 EUR
Carmona, Josep: Conformance Checking

Carmona, Josep: Conformance Checking

100.50 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

59.00 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

59.00 EUR
Verification Model Checking and Abstract Interpretation

Verification Model Checking and Abstract Interpretation

59.00 EUR