Static Analysis of Software
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
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í?
