دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی ، LOPSTR 2001 پافوس ، قبرس ، 28 تا 30 نوامبر ، 2001 مقاله های منتخب
زبان : English
نویسندگان : Natarajan Shankar (auth.), Alberto Pettorossi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2002
ISBN (شابک) : 3540439153, 9783540439158
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2372
تعداد صفحات : 272[274]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان