لامابوک
  • صفحه اصلی
  • کتاب‌ها
  • Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

خرید و دانلود نسخه کامل کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

سنتز و تبدیل برنامه مبتنی بر منطق: 15 سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب تجدید نظر شده

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

نویسنده: François Fages (auth.), Patricia M. Hill (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

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

زبان: English

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

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

98,000 تومان 68,000 تومان