P. McKenzie

Popular items by P. 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

� 79.26

View 11 offers

Also find
New, Used