دانلود کتاب 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 (شابک) : 9783540237389, 3540237380
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3312
تعداد صفحات : 448[465]
حجم : 12 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان