دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
روشهای رسمی در طراحی با کمک رایانه: پنجمین کنفرانس بین المللی ، FMCAD 2004 ، آستین ، تگزاس ، ایالات متحده آمریکا ، 15 تا 17 نوامبر 2004.
زبان : English
نویسندگان : Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540237380, 9783540304944, 9783540237389
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3312
تعداد صفحات : 448[465]
حجم : 8 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان