دانلود کتاب Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers
سنتز و تحول برنامه مبتنی بر منطق: نهمین کارگاه بین المللی ، LOPSTR’99 ، ونیز ، ایتالیا ، 22 تا 24 سپتامبر ، 1999 مقاله های منتخب
زبان : English
نویسندگان : Donald Sannella (auth.), Annalisa Bossi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2000
ISBN (شابک) : 3540676287, 9783540676287
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1817
تعداد صفحات : 312[321]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان