دانلود کتاب Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
تأیید به کمک رایانه: هجدهمین کنفرانس بین المللی، CAV 2006، سیاتل، WA، ایالات متحده آمریکا، 17-20 اوت 2006. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 564 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354037406X,9783540374060 |
| نوبت چاپ | 1 |
دانلود کتاب Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
دانلود کتاب Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
نرم افزار بررسی مدل: دهمین کارگاه بین المللی اسپین پورتلند، OR، ایالات متحده آمریکا، 9 تا 10 مه، 2003 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 241 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540401172,9783540401179 |
| نوبت چاپ | 1 |
