دانلود کتاب FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
FM’99 — روشهای رسمی: کنگره جهانی روشهای رسمی در توسعه سیستمهای محاسباتی تولوز، فرانسه، 20 تا 24 سپتامبر 1999 مجموعه مقالات، جلد دوم
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 942 |
| حجم فایل | 11 مگابایت |
| کد کتاب | 3540665889,9783540665885 |
| نوبت چاپ | 1 |
دانلود کتاب Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
مبانی نرم افزارهای کامپیوتری روندها و تکنیک های آینده برای توسعه: پانزدهمین کارگاه آموزشی مونتری 2008، بوداپست، مجارستان، 24 تا 26 سپتامبر 2008، مقالات منتخب اصلاح شده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 275 |
| حجم فایل | 5 مگابایت |
| کد کتاب | 3642125654,9783642125652 |
| نوبت چاپ | 1 |
