دانلود کتاب Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
روشهای رسمی برای سیستمهای زمان واقعی و احتمالی: پنجمین کارگاه بینالمللی AMAST، ARTS'99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات
| موضوع اصلی | کامپیوتر - علوم کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 362 / 363 |
| حجم فایل | 3.58 مگابایت |
| کد کتاب | 3540660100 , 9783540660101 |
| نوبت چاپ | 1 |
دانلود کتاب Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
سخنرانیهایی درباره روشهای رسمی و تجزیه و تحلیل عملکرد: اولین مدرسه تابستانی EEF/Euro در مورد گرایشها در علوم کامپیوتر برگن دال، هلند، 3 تا 7 ژوئیه، 2000 سخنرانیهای اصلاحشده
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 434 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540424792,9783540424796 |
| نوبت چاپ | 1 |