دانلود کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
تأیید به کمک رایانه: پانزدهمین کنفرانس بین المللی ، CAV 2003 ، بولدر ، CO ، ایالات متحده آمریکا ، 8-12 ژوئیه 2003.
زبان : English
نویسندگان : Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2003
ISBN (شابک) : 3540405240, 9783540405245
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2725
تعداد صفحات : 462[473]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان