A könyv célja, hogy átfogó és szisztematikus bevezetést nyújtson az adatfinomítás fontos és jól alkalmazható módszerébe és a helyességének bizonyítására használt szimulációs módszerekbe. A szerzők az első részben az adatok finomításának helyességének bizonyításához szükséges általános elvekre koncentrálnak. Az alapvető fogalmak magyarázatával kezdik, amelyek azt mutatják, hogy az adatfinomítási bizonyítékok bizonyítási szimulációvá redukálódnak. A könyv második része részletesen áttekinti a terület fontos módszereit, amelyeket gondosan elemzünk, és bebizonyosodunk, hogy vagy hiányosak az alkalmazásuk ellenpéldáival, vagy mindig alkalmazhatók, amikor az adatok finomítása megmarad. Ezt mutatja, hogy először bizonyítjuk, hogy mindezek a módszerek két egyszerű fogalommal írhatók le és elemezhetők: előre és hátra szimulációval. A könyv önálló, haladó egyetemi szintről indul, és elvezeti az olvasót a szimuláció bizonyításának módszereinek legkorszerűbb módszereihez. Nyelv: angol