خرید و دانلود نسخه کامل کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

انتزاعات بتن: رسمی سازی و تحلیل نظریه ها و الگوریتم های گسسته با مدل RISCAL Checker

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

نویسنده: Wolfgang Schreiner

ناشر: Springer

سال انتشار: 2023

تعداد صفحات: 278

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت