Cieľom tejto knihy je poskytnúť komplexný a systematický úvod do dôležitej a vysoko aplikovateľnej metódy spresňovania údajov a simulačných metód používaných na preukázanie ich správnosti. Autori sa v prvej časti sústreďujú na všeobecné princípy potrebné na preukázanie správnosti spresnenia údajov. Začínajú vysvetlením základných pojmov, ktoré ukazujú, že dôkazy o spresnení údajov sa redukujú na dokazovanie simulácie. Druhá časť knihy obsahuje podrobný prehľad dôležitých metód v tejto oblasti, ktoré sú starostlivo analyzované a ukázalo sa, že sú buď neúplné s protipríkladmi ich použitia, alebo sú vždy použiteľné vždy, keď je potrebné spresniť údaje. Dokazuje to prvýkrát dokázanie, že všetky tieto metódy možno opísať a analyzovať z hľadiska dvoch jednoduchých pojmov: simulácia dopredu a dozadu. Kniha je samostatná, prechádza od pokročilej bakalárskej úrovne a vedie čitateľa k najmodernejším metódam dokazovania simulácie. Jazyk: angličtina