دانلود کتاب Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings
تجزیه و تحلیل استاتیک: دهمین سمپوزیوم بین المللی، SAS 2003 سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 11–13 ژوئن، 2003 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 510 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540403256,9783540403258 |
| نوبت چاپ | 1 |
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
تأیید، بررسی مدل، و تفسیر چکیده: ششمین کنفرانس بین المللی، VMCAI 2005، پاریس، فرانسه، 17-19 ژانویه 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 483 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354024297X,9783540242970 |
| نوبت چاپ | 1 |