Pierre McKenzie

Popular items by Pierre McKenzie

View all offers

Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Item prices starting from

� 10.19

View 24 offers

Also find
New, Used