دانلود کتاب Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
تأیید به کمک رایانه: سیزدهمین کنفرانس بین المللی ، CAV 2001 پاریس ، فرانسه ، 18 تا 22 ژوئیه ، مجموعه مقالات
زبان : English
نویسندگان : David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 3540423451, 9783540423454
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2102
تعداد صفحات : 522[532]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان