Model Checking Abstract State Machines
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Fnac FR
Sponsorisé Model Checking Abstract State Machines
78.87 EUR
Prix mis à jour le: 21-04-2026 19:38:54
78.87 EUR
Prix mis à jour le: 21-04-2026 19:38:54 | Identifiants | |
|---|---|
| ISBN | Vdm Verlag Dr Mueller E K 3639018915 |
| Dimensions / poids | |
| Fonctionnalités clés | |
Vdm Verlag Dr Mueller E K
![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)
