Verification, Model Checking, and Abstract Interpretation
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
O produktu
The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9783642540127
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
