دانلود کتاب Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
تأیید به کمک رایانه: چهاردهمین کنفرانس بین المللی ، CAV 2002 کپنهاگ ، دانمارک ، مجموعه مقالات 27 تا 31 ژوئیه ، 2002
زبان : English
نویسندگان : Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2002
ISBN (شابک) : 3540439978, 9783540439974
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2404
تعداد صفحات : 362[644]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان