Kirjat Pierre-Loïc Garoche
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Static Analysis of Actors by Abstract Interpretation: Applying Abstract Interpretation to an Higher Order Process Calculus
85,28 €
113,70 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
Formal Verification of Control System Software
99,14 €
132,18 €
-25% koodilla BOOKS
Toimittajalla varastossa