خانه / تمامی کتاب‌ها / کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

Name: Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
Rating: 4.8 (11 reviews)
Author: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)

دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

نویسنده: Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.)

شماره سریال: ۹۷۸۳۵۴۰۲۳۷۳۸۹

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۴

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۱۶ مگابایت

تعداد صفحات

۴۶۵.۰

قیمت کتاب: ۷۲,۹۰۰ تومان

توضیحات

معرفی کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings نوشته Wayne Wolf (auth.), Alan J. Hu, Andrew K. Martin (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها