تجزیه و تحلیل استاتیک: نوزدهمین سمپوزیوم بین المللی ، SAS 2012 ، دوویل ، فرانسه ، 11-13 سپتامبر 2012. مجموعه مقالات
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
نویسنده: Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin (auth.), Antoine Miné, David Schmidt (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2012
تعداد صفحات: 465
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت