دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
by Robin Adams (auth.)|
|
عنوان فارسی: مقالات کارگاه آموزشی بین المللی ، انواع 2004 ، به Jouy -EN- Josas ، فرانسه، 15-18 دسامبر ، 2004 ، تجدید نظر انتخاب شده: انواع برای اثبات و برنامه |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟