نقد، بررسی و نظرات کتاب طراحی نرم افزارهای مطمئن و تحمل پذیری اشکال - کریشنا