Partial Order Methods in Verification
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
O produktu
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780821805794
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
