دانلود کتاب 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 |