Výsledky vyhľadávania

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

Formal Verification of Control System Software

Garoche, Pierre-Loic
AngličtinaEbook
Princeton University Press
ISBN: 9780691189581
Dostupné online
Dostupné online
82,56 € -10 %
Static Analysis of Actors by Abstract Interpretation

Static Analysis of Actors by Abstract Interpretation

Garoche, Pierre-Loic
AngličtinaMäkká väzba
LAP Lambert Academic Publishing
ISBN: 9783843389549
Na objednávku
Predpokladané dodanie v piatok, 29. novembra 2024
Na objednávku
Predpokladané dodanie v piatok, 29. novembra 2024
92,61 € -10 %
Formal Verification of Control System Software

Formal Verification of Control System Software

Garoche, Pierre-Loïc
AngličtinaPevná väzba
Princeton University Press
ISBN: 9780691181301
Na objednávku
Predpokladané dodanie v utorok, 10. decembra 2024
Na objednávku
Predpokladané dodanie v utorok, 10. decembra 2024
63,57 € -10 %