التدقيق: الفلسفة والتقنية، الطبعة الثانية (كتاب). | Synapse