{{item.title}} {{item.subtitle}}
{{item.total|number}} تومان
حذف
ثبت و نهایی کردن سفارش
سبد خرید شما خالی است.
ورود ثبت‌نام
  1. Home
  2. فهرست محصولات
  3. Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
کارت اعتباری کتاب دانلود با 5,000,000 اعتبار دانلود کتاب! کلیک کنید

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Wolfgang Schreiner, 303124933X, 9783031249334

200,000 تومان
محصول مورد نظر موجود نمی‌باشد.
تعداد
نوع
  • {{value}}
کمی صبر کنید...
زمان تحویل کتاب های 300 هزار تومانی دانلود فوری از حساب کاربری می باشد، و زمان تحویل لینک دانلود کتاب های 200 هزار تومانی حداکثر 12 ساعت از طریق پیامک/ایمیل

English | 2023 | PDF

ارسال پیام از طریق ایتا: 09390588906