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

Où acheter (1) Caractéristiques

Sponsorisé

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

Rakuten FR

67.35 EUR

Prix mis à jour le: 19-06-2025 21:20:41

Voir l'offre

Général

Marque

Springer

Caractéristiques

Produits similaires

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

Improving Scalability of Model Checking Software Architectures

Improving Scalability of Model Checking Software Architectures

CONSOLE Nintendo SWITCH OLED ROUGE / BLEU

CONSOLE Nintendo SWITCH OLED ROUGE / BLEU

Switch Console OLED Blanc + 5 jeux

Switch Console OLED Blanc + 5 jeux

Symbolic Model Checking

Symbolic Model Checking

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

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