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
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
ammareal.fr
Sponsorisé 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
Prix mis à jour le: 20-03-2026 21:06:48 Produit utilisé
6.64 EUR
Prix mis à jour le: 20-03-2026 21:06:48 Produit utilisé | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |
![Software Engineering: Proceedings of CSI 2015 (Advances in Intelligent Systems and Computing) - [Version Originale]](https://www.consumerstore.com/img/425/a4cd172cfb0f172c529189425.jpg)
![Design Science Methodology for Information Systems and Software Engineering - [Version Originale]](https://www.consumerstore.com/img/568/a59d298352bbb769429580568.jpg)
