2 results for '" F. Laroussinie"'

Systems and Software Verification: Model-Checking Techniques and Tools book cover by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen — + wishlist Systems and Software Verification: Model-Checking Techniques and Tools [9783642074783]
Add to Cart The item has been added

B. Berard M. Bidoit A. Finkel F. Laroussinie A. Petit L. Petrucci P. Schnoebelen

Systems and Software Verification: Model-Checking Techniques and Tools [9783642074783]

As Low as $159.99

Paperback

Systems and Software Verification: Model-Checking Techniques and Tools book cover by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen — + wishlist Systems and Software Verification: Model-Checking Techniques and Tools [9783540415237]
Add to Cart The item has been added

B. Berard M. Bidoit A. Finkel F. Laroussinie A. Petit L. Petrucci P. Schnoebelen

Systems and Software Verification: Model-Checking Techniques and Tools [9783540415237]

As Low as $159.99

Hardcover