Releases von Pierre-loïc Garoche

Alle2
Gebundenes Buch1
Taschenbuch1

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Pierre-Loic Garoche · Formal Verification of Control System Software - Princeton Series in Applied Mathematics (Gebundenes Buch) (2019)

Gebundenes Buch

Formal Verification of Control S... (2019)

Pierre-Loic Garoche

Cover for Pierre-loïc Garoche · Static Analysis of Actors by Abstract Interpretation: Applying Abstract Interpretation to an Higher Order Process Calculus (Taschenbuch) (2010)

Static Analysis of Actors by Abs... (2010)

Pierre-loïc Garoche