Books by Pierre-Loïc Garoche
No products found matching the selection.
-20%
Static Analysis of Actors by Abstract Interpretation: Applying Abstract Interpretation to an Higher Order Process Calculus
€90.96
€113.70
-20% with code BOOKS
In stock at our supplier
-20%
Formal Verification of Control System Software
€105.74
€132.18
-20% with code BOOKS
In stock at our supplier