منطق ، جلد 2: روشهای رسمی برای مطالعه برنامه ها
Logique, volume 2 : méthodes formelles pour l'étude des programmes
نویسنده: Paul Gochet, Pascal Gribomont
ناشر: Hermes Science Publications
سال انتشار: 1994
تعداد صفحات: 354
زبان: French
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت