Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda, Italy, August 29, 2006, Revised Selected And Invited Papers
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Sponsorisé Model Checking And Artificial Intelligence: 4th Workshop, Mochart Iv, Riva Del Garda, Italy, August 29, 2006, Revised Selected And Invited Papers
67.35 EUR
Prix mis à jour le: 19-06-2025 21:20:41
67.35 EUR
Prix mis à jour le: 19-06-2025 21:20:41 | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |



![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]](https://www.consumerstore.com/img/462/a1ce86ae15457b15b29577462.jpg)


![Model Checking (Cyber Physical Systems Series) - [Version Originale]](https://www.consumerstore.com/img/184/aad79b73567f0700361756184.jpg)


