Philippe Schnoebelen

Popular items by Philippe Schnoebelen

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 27 offers

Also find
New, Used