Výsledky vyhledávání

Autor: Garoche, Pierre-Loïc
Formal Verification of Control System Software

Formal Verification of Control System Software

Garoche, Pierre-Loïc
AngličtinaPevná vazba
Princeton University Press
ISBN: 9780691181301
Na objednávku
Předpokládané dodání v pondělí, 15. července 2024
1 461 Kč
Bežná cena: 1 623 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v pondělí, 15. července 2024
1 623 Kč -10 %
Formal Verification of Control System Software

Formal Verification of Control System Software

Garoche, Pierre-Loic
AngličtinaEbook
Princeton University Press
ISBN: 9780691189581
Dostupné online
1 346 Kč
Bežná cena: 1 496 Kč
Sleva 10 %
(-10 %)
Dostupné online
1 496 Kč -10 %
Static Analysis of Actors by Abstract Interpretation

Static Analysis of Actors by Abstract Interpretation

Garoche, Pierre-Loic
AngličtinaMěkká vazba
LAP Lambert Academic Publishing
ISBN: 9783843389549
Na objednávku
Předpokládané dodání v úterý, 16. července 2024
2 091 Kč
Bežná cena: 2 323 Kč
Sleva 10 %
(-10 %)
Na objednávku
Předpokládané dodání v úterý, 16. července 2024
2 323 Kč -10 %