Books by M. Bidoit
No products found matching the selection.
-20%
Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard, F. Laroussinie, A. Petit, P. Schnoebelen, M. Bidoit, A. Finkel, L. Petrucci
€189.71
€237.14
-20% with code BOOKS
In stock at our supplier
-20%
Systems and Software Verification Model-Checking Techniques and Tools
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
€247.22
€309.03
-20% with code BOOKS
In stock at our supplier