دانلود کتاب Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

Lambda Calculi تایپ شده و کاربردها: هشتمین کنفرانس بین المللی ، TLCA 2007 ، پاریس ، فرانسه ، 26 تا 28 ژوئن ، 2007. مجموعه مقالات

زبان : English

نویسندگان : Frank Pfenning (auth.), Simona Ronchi Della Rocca (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540732276, 9783540732273, 9783540732280

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

سری : Lecture Notes in Computer Science 4583

تعداد صفحات : 400[405]

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

فرمت کتاب : pdf

قیمت : 36000 تومان