Pierre-loïc Garocheのリリース

すべて2
Hardcover Book1
Paperback Book1

iMusicに在庫あり在庫なし商品を表示

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

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 (Paperback Book) (2010)

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

Pierre-loïc Garoche