تجزیه و تحلیل استاتیک: هفدهمین سمپوزیوم بین المللی، SAS 2010، Perpignan، فرانسه، 14-16 سپتامبر 2010. مجموعه مقالات
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
نویسنده: E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2011
تعداد صفحات: 481
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت