Logique, volume 2 : méthodes formelles pour l'étude des programmes

خرید و دانلود نسخه کامل کتاب Logique, volume 2 : méthodes formelles pour l'étude des programmes

منطق ، جلد 2: روشهای رسمی برای مطالعه برنامه ها

Logique, volume 2 : méthodes formelles pour l'étude des programmes

نویسنده: Paul Gochet, Pascal Gribomont

ناشر: Hermes Science Publications

سال انتشار: 1994

تعداد صفحات: 354

زبان: French

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت

101,000 تومان 63,000 تومان