دانلود کتاب Symbolic simulation methods for industrial formal verification
کتاب روش های شبیه سازی نمادین برای تایید رسمی صنعتی نسخه زبان اصلی
دانلود کتاب روش های شبیه سازی نمادین برای تایید رسمی صنعتی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Symbolic simulation methods for industrial formal verification
نام کتاب : Symbolic simulation methods for industrial formal verification
ویرایش : 1
عنوان ترجمه شده به فارسی : روش های شبیه سازی نمادین برای تایید رسمی صنعتی
سری :
نویسندگان : Robert B. Jones (auth.)
ناشر : Springer US
سال نشر : 2002
تعداد صفحات : 158
ISBN (شابک) : 9781461511014 , 9781461353959
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.