دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
منطق علوم کامپیوتر: بیست و چهارمین کارگاه بین المللی، CSL 2010، نوزدهمین کنفرانس سالانه EACSL، برنو، جمهوری چک، 23-27 اوت 2010. مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 548 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 364215204X,9783642152047 |
| نوبت چاپ | 1 |