جستجو
ورود / ثبت نام
0
موارد
0
تومان
منو
دستهبندی کتابها
کتاب الکترونیکی
تجارت
برنامه نویسی
کتابهای خودآموز
سرمایه گذاری
پزشکی و دارو
داستان
آشپزی
اقتصاد
مدیریت
سیستمهای محاسبات علمی
آموزش و پرورش
کامپیوتر
مهندسی
هنرهای گرافیک
انسان شناسی: تکامل
موسیقی
تاریخ
خانهداری و اوقات فراغت
علوم اجتماعی
سایر کتابها
فروشگاه
درخواست کتاب
پیگیری سفارش
درباره ما
تماس با ما
جستجو
خانه
محصول نویسنده
Sandip Ray (auth.)
در حال نمایش یک نتیجه
نمایش سایدبار
نمایش
12
24
36
همه
مرتبسازی پیشفرض
مرتبسازی بر اساس امتیاز
مرتبسازی بر اساس جدیدترین
مرتبسازی بر اساس ارزانترین
مرتبسازی بر اساس گرانترین
-72%
PDF
دانلود کتاب Scalable Techniques for Formal Verification
36,000
تومان
10,000
تومان
تکنیک های مقیاس پذیر برای تأیید رسمی
نوع کالا
کتاب الکترونیکی
ناشر
Springer US
تعداد صفحه
243
حجم فایل
3 مگابایت
کد کتاب
1441959971,9781441959973
نوبت چاپ
1
افزودن به سبد خرید
منو
دستهبندی ها
کتاب الکترونیکی
تجارت
برنامه نویسی
کتابهای خودآموز
سرمایه گذاری
پزشکی و دارو
داستان
آشپزی
اقتصاد
مدیریت
سیستمهای محاسبات علمی
آموزش و پرورش
کامپیوتر
مهندسی
هنرهای گرافیک
انسان شناسی: تکامل
موسیقی
تاریخ
خانهداری و اوقات فراغت
علوم اجتماعی
سایر کتابها
فروشگاه
درخواست کتاب
پیگیری سفارش
درباره ما
تماس با ما
ورود / ثبت نام
سبد خرید
بستن
فروشگاه
فیلترها
0
موارد
سبد خرید
حساب کاربری من