مقایسه شازده کوچولو با کتاب Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings نسخه کامل
ارزانترین گزینهٔ این مقایسه امروز شازده کوچولو از ۱۵٬۰۰۰ تومان است — قیمتها لحظهای از فروشگاههای معتبر.
