دانلود کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
کتاب انتزاعات بتن: رسمی‌سازی و تحلیل نظریه‌ها و الگوریتم‌های گسسته با جستجوگر مدل RISCAL نسخه زبان اصلی
دانلود کتاب انتزاعات بتن: رسمی‌سازی و تحلیل نظریه‌ها و الگوریتم‌های گسسته با جستجوگر مدل RISCAL بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب 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
عنوان ترجمه شده به فارسی : انتزاعات بتن: رسمی‌سازی و تحلیل نظریه‌ها و الگوریتم‌های گسسته با جستجوگر مدل RISCAL
سری : Texts & Monographs in Symbolic Computation
نویسندگان : Wolfgang Schreiner
ناشر : Springer
سال نشر : 2023
تعداد صفحات : 277
[278]
ISBN (شابک) : 303124933X , 9783031249334
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی