خرید و دانلود نسخه کامل کتاب Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

نرم افزار تأیید شده: نظریه ها ، ابزارها ، آزمایشات: چهارمین کنفرانس بین المللی ، VSTTE 2012 ، فیلادلفیا ، پنسیلوانیا ، ایالات متحده آمریکا ، 28 تا 29 ژانویه 2012. مجموعه مقالات

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

نویسنده: Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

تعداد صفحات: 335

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت