دانلود کتاب Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
تأیید به کمک رایانه: نوزدهمین کنفرانس بین المللی ، CAV 2007 ، برلین ، آلمان ، 3-7 ژوئیه 2007. مجموعه مقالات
زبان : English
نویسندگان : Byron Cook (auth.), Werner Damm, Holger Hermanns (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540733671, 9783540733676
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4590
تعداد صفحات : 562[575]
حجم : 8 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان
