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 pátek, 10. ledna 2025
Na objednávku
Předpokládané dodání v pátek, 10. ledna 2025
1 785 Kč -10 %
Static Analysis of Actors by Abstract Interpretation

Static Analysis of Actors by Abstract Interpretation

Garoche, Pierre-Loïc
AngličtinaMěkká vazbaTisk na objednávku
LAP Lambert Academic Publishing
ISBN: 9783843389549
Tisk na objednávku
Předpokládané dodání v pondělí, 27. ledna 2025
Tisk na objednávku
Předpokládané dodání v pondělí, 27. ledna 2025
2 323 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
Dostupné online
1 646 Kč -10 %