Books by B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard, F. Laroussinie, A. Petit, P. Schnoebelen, M. Bidoit, A. Finkel, L. Petrucci
-20% with code BOOKS
In stock at our supplier
A Manual of Spanish Art and Literature
-20% with code BOOKS
In stock at our supplier
A Manual of Spanish Art and Literature
-20% with code BOOKS
In stock at our supplier
A Manual of Spanish Art and Literature
-20% with code BOOKS
In stock at our supplier
A Manual of Spanish Art and Literature
-20% with code BOOKS
In stock at our supplier
School History of the United States
-20% with code BOOKS
In stock at our supplier
Systems and Software Verification Model-Checking Techniques and Tools
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
-20% with code BOOKS
In stock at our supplier