Value-Range Analysis of C Programs - Simon, Axel
Růst ceny o 1 %
Nejnižší cena od 10. 9. 2026: 3 863 Kč.
O produktu
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.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9781849967020
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
