دانلود کتاب Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
زبان : English
نویسندگان : Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1991
ISBN (شابک) : 9783540544777, 3540544771
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 531
تعداد صفحات : 378[385]
حجم : 4 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان