Verification, Model Checking, and Abstract Interpretation
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 1 322 Kč.
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í?
