کتاب روش های عددی برای قوانین بقا از آنالیز تا الگوریتم ها، اثر جان اس. هستاون، با ترجمه‌ی دکتر جواد فرضی، در بازار نشر ایران، توزیع شده است. این محصول در سال 1402 توسط انتشارات دانشگاه صنعتی سهند، به چاپ رسیده است. و ویرایش اول این محصول در قطع و اندازه‌ی وزیری، در سایت ایده بوک قرار دارد.