Modeling and Verification of Real-time Systems
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 6 226 Kč.
O produktu
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
Tip: Podívejte se také na další produkty z kategorie Analýza systémů a design.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9781848210134
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
