انتشارات مؤلفین طلایی

کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker اثر Wolfgang Schreiner انتشارات مؤلفین طلایی

جهت خرید از دیجیکالا کلیک کنید
مشخصات فنی کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker اثر Wolfgang Schreiner انتشارات مؤلفین طلایی
Wolfgang Schreiner
مؤلفین طلایی
کامپیوتر
وزیری
شومیز
تحریر
278
برو بالا