fmcad
روش های رسمی در طراحی به کمک کامپیوتر: پنجمین کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده آمریکا، 15-17 نوامبر 2004. مجموعه مقالات
دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings (به فارسی: روش های رسمی در طراحی به کمک کامپیوتر: پنجمین کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده آمریکا، 15-17 نوامبر 2004. مجموعه مقالات) نوشته شده توسط «Wayne Wolf (auth.) – Alan J. Hu – Andrew K. Martin (eds.)» اطلاعات کتاب روش های رسمی در طراحی به کمک کامپیوتر: پنجمین کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده آمریکا، 15-17 نوامبر 2004. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Wayne Wolf (auth.)…
روش های رسمی در طراحی به کمک کامپیوتر: پنجمین کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده آمریکا، 15-17 نوامبر 2004. مجموعه مقالات
دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings (به فارسی: روش های رسمی در طراحی به کمک کامپیوتر: پنجمین کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده آمریکا، 15-17 نوامبر 2004. مجموعه مقالات) نوشته شده توسط «Wayne Wolf (auth.) – Alan J. Hu – Andrew K. Martin (eds.)» اطلاعات کتاب روش های رسمی در طراحی به کمک کامپیوتر: پنجمین کنفرانس بین المللی، FMCAD 2004، آستین، تگزاس، ایالات متحده آمریکا، 15-17 نوامبر 2004. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Wayne Wolf (auth.)…