دانلود کتاب 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 ، مقالات منتخب تجدید نظر شده
زبان : English
نویسندگان : Wim Vanhoof (auth.), Sandro Etalle (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2005
ISBN (شابک) : 3540266550, 9783540266556
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3573 : Theoretical Computer Science and General Issues
تعداد صفحات : 284[285]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان