Search Results

Author: Garoche, Pierre-Loic
Formal Verification of Control System Software

Formal Verification of Control System Software

Garoche, Pierre-Loic
EnglishEbook
Princeton University Press
ISBN: 9780691189581
Available online
Available online
€82.56 -10%
Static Analysis of Actors by Abstract Interpretation

Static Analysis of Actors by Abstract Interpretation

Garoche, Pierre-Loic
EnglishPaperback / softback
LAP Lambert Academic Publishing
ISBN: 9783843389549
On order
Delivery on Friday, 6. of December 2024
On order
Delivery on Friday, 6. of December 2024
€92.61 -10%
Formal Verification of Control System Software

Formal Verification of Control System Software

Garoche, Pierre-Loïc
EnglishHardback
Princeton University Press
ISBN: 9780691181301
On order
Delivery on Tuesday, 17. of December 2024
On order
Delivery on Tuesday, 17. of December 2024
€63.57 -10%