دانلود کتاب Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
روشهای رسمی برای تأیید سختافزار: ششمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2006، برتینورو، ایتالیا، 22-27 می، 2006، سخنرانیهای پیشرفته
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 244 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540343040,9783540343042 |
| نوبت چاپ | 1 |