دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
انواع مستندات و برنامه ها: کارگاه بین المللی ، انواع 2006 ، ناتینگهام ، انگلیس ، 18 تا 21 آوریل 2006 ، مقالات منتخب بازبینی شده
زبان : English
نویسندگان : Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540744630, 9783540744634
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4502 : Theoretical Computer Science and General Issues
تعداد صفحات : 272[276]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان