دانلود کتاب Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
انواع مستندات و برنامه ها: کنفرانس بین المللی ، انواع 2007 ، Cividale des Friuli ، ایتالیا ، 2 تا 5 مه 2007 ، مقاله های منتخب اصلاح شده
زبان : English
نویسندگان : Lisa Allali (auth.), Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 3540680845, 9783540680840
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4941 : Theoretical Computer Science and General Issues
تعداد صفحات : 203[209]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان