دانلود کتاب Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
تأیید رایانه ای: یازدهمین کنفرانس بین المللی ، CAV’99 ترنتو ، ایتالیا ، مقالات 6 تا 10 ژوئیه 1999
زبان : English
نویسندگان : David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1999
ISBN (شابک) : 3540662022, 9783540662020
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1633
تعداد صفحات : 506[514]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان