دانلود کتاب Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
دسته: منطق
کتاب سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 اوت 2004، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 اوت 2004، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
نام کتاب : Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 اوت 2004، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 3573 : Theoretical Computer Science and General Issues
نویسندگان : Wim Vanhoof (auth.), Sandro Etalle (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2005
تعداد صفحات : 285
ISBN (شابک) : 3540266550 , 9783540266556
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.