الگوهای طراحی برای اثبات ریاضی: راهنمای مخصوص دانشمندان کامپیوتر
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
نویسنده: Hans Jürgen Ohlbach, Norbert Eisinger
ناشر: Springer Vieweg
سال انتشار: 2017
تعداد صفحات: 183
زبان: German
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت