Search Results

Author: Garoche, Pierre-Loïc
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 Friday, 10. of January 2025
On order
Delivery on Friday, 10. of January 2025
CZK 1,785 -10%
Static Analysis of Actors by Abstract Interpretation

Static Analysis of Actors by Abstract Interpretation

Garoche, Pierre-Loïc
EnglishPaperback / softbackPrint on demand
LAP Lambert Academic Publishing
ISBN: 9783843389549
Print on demand
Delivery on Monday, 27. of January 2025
Print on demand
Delivery on Monday, 27. of January 2025
CZK 2,323 -10%
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
CZK 1,646 -10%