1. Page d’accueil
  2. Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda, Italy, August 29, 2006, Revised Selected And Invited Papers
  • #

Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda, Italy, August 29, 2006, Revised Selected And Invited Papers

67.35 EUR

Partager:

Produits connexes

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

6.64 EUR
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science)

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science) - [Version Originale]

71.66 EUR
Model Checking Quantum Systems by Feng & Yuan University of Technology & Sydney

Model Checking Quantum Systems by Feng & Yuan University of Technology & Sydney

90.22 EUR
Improving Scalability of Model Checking Software Architectures

Improving Scalability of Model Checking Software Architectures

48.92 EUR
Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series) - [Version Originale]

105.98 EUR
Model Checking Abstract State Machines

Model Checking Abstract State Machines

78.87 EUR
Symbolic Model Checking

Symbolic Model Checking

6.17 EUR
Maquette 1/32 Aviateur Français avec Revolver

Maquette 1/32 Aviateur Français avec Revolver

18.39 EUR