دانلود کتاب Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

فناوری خودکار برای تأیید و تجزیه و تحلیل: پنجمین سمپوزیوم بین المللی ، ATVA 2007 توکیو ، ژاپن ، مجموعه مقالات 22 تا 25 اکتبر

زبان : English

نویسندگان : Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540755950, 9783540755951

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4762

تعداد صفحات : 570[576]

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

فرمت کتاب : pdf

قیمت : 36000 تومان