Value-Range Analysis of C Programs
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
The book formally describes how program operations are mapped to
operations on polyhedra and details how to limit the analysis to
those p-
tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto
operations on string bu?ers, we demonstrate how to analyse C
strings whose length is determined by anul character within the
string.
Výběr knih autora
Axel Simon
Zobrazit všechny knihy autora
Axel Simon
Výběr knih vydavatele
Springer London Ltd
Zobrazit všechny knihy vydavatele
Springer London Ltd
Naše tipy
