Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda | DealShopping France
  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

Switch (OLED Model), Console de jeu

Switch (OLED Model), Console de jeu

266.12 EUR
Console Nintendo Switch

Console Nintendo Switch

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

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

92.74 EUR
Improving Scalability of Model Checking Software Architectures

Improving Scalability of Model Checking Software Architectures

49.32 EUR
Symbolic Model Checking

Symbolic Model Checking

180.70 EUR
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