دانلود کتاب Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

منطق مبتنی بر سنتز و تحول برنامه: دوازدهمین کارگاه بین المللی ، LOPSTR 2002 ، مادرید ، اسپانیا ، 17 تا 20 سپتامبر ، 2002. مقاله های منتخب اصلاح شده

زبان : English

نویسندگان : María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540404384, 9783540404385

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2664

تعداد صفحات : 279[289]

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

فرمت کتاب : pdf

قیمت : 36000 تومان