LIVRE D'OCCASION
Systems and Software Verification: Model-Checking Techniques and Tools
M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie
Très bon état
Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu’à 15% du prix net de cet article à des organisations caritatives.
Année d'édition | 2001 |
---|---|
Éditeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Format | Broché |
EAN | 9783540415237 |