دانلود کتاب Adapting proofs-as-programs
دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol
دانلود کتاب Adapting Proofs-as-Programs: The Curry-Howard Protocol
دانلود کتاب Algebraic Methodology and Software Technology: 5th International Conference, AMAST ’96 Munich, Germany, July 1–5, 1996 Proceedings
روش شناسی جبری و فناوری نرم افزار: پنجمین کنفرانس بین المللی، AMAST '96 مونیخ، آلمان، 1 تا 5 ژوئیه، 1996 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 647 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354061463X,9783540614630 |
| نوبت چاپ | 1 |
دانلود کتاب Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers
نوآوری های ریشه ای مهندسی نرم افزار و سیستم ها در آینده: نهمین کارگاه بین المللی، RISSEF 2002، ونیز، ایتالیا، 7-11 اکتبر 2002. مقالات تجدید نظر شده
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 359 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540211799,9783540211792 |
| نوبت چاپ | 1 |
دانلود کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح شده
| موضوع اصلی | جبر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 464 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3540205373,9783540205371 |
| نوبت چاپ | 1 |
