Static Analysis of Software
Stabilní cena
Cenu sledujeme od 20. 7. 2026 a zatím se drží na 4 581 Kč.
O produktu
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.
Tip: Podívejte se také na další produkty z kategorie Počítačové programování, software.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9781848213203
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
