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

Name: کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker اثر Wolfgang Schreiner انتشارات مؤلفین طلایی
Brand: انتشارات مؤلفین طلایی
SKU: 12640680
Price: 3180000 IRR
Availability: InStock
Rating: 0 (0 reviews)

برند: انتشارات مؤلفین طلایی

گزارش

مشاهده قیمت و خرید

پس از عضویت و ثبت اطلاعات فروشگاه، شما هم می‌توانید فروش محصولات خود را شروع کنید. ورود یا عضویت

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

فروشندگان این محصول

1 فروشنده

فروشگاه دیجی‌کالا

مشاهده قیمت و خرید

مشخصات فنی

نویسنده

Wolfgang Schreiner

ناشر

مؤلفین طلایی

موضوع

کامپیوتر

قطع

وزیری

نوع جلد

شومیز

نوع کاغذ

تحریر

تعداد صفحه

278

فروشندگان این محصول

مشخصات فنی

محصولات مشابه

کتاب The Beryl Coronet اثر Arthur Conan Doyle انتشارات Sweet Cherry

کتاب The Engineers Thumb اثر Arthur Conan Doyle انتشارات سوییت چری

کتاب The Copper Beeches اثر Arthur Conan Doyle انتشارات سوییت چری

کتاب The Bruce-Partington Plans اثر Arthur Conan Doyle انتشارات sweet cherry

کتاب The Speckled Band اثر Arthur Conan Doyle انتشارات سوییت چری

کتاب The Sussex Vampire اثر Arthur Conan Doyle انتشارات Sweet Cherry

کتاب Danny Dingle's Fantastic Finds اثر Angie Lake انتشارات sweet cherry

کتاب First Words Exploring Animals 100 اثر Anastasiya Rudyk انتشارات Sweet Cherry

کتاب The Secret Garden اثر Frances Hodgson Burnett انتشارات Sweet Cherry

کتاب The Wonderful Wizard of Oz اثر Frank Baum انتشارات Sweet Cherry

مطالب خواندنی مرتبط

فروشندگان این محصول

مشخصات فنی

محصولات مشابه

کتاب The Beryl Coronet اثر Arthur Conan Doyle انتشارات Sweet Cherry

کتاب The Engineers Thumb اثر Arthur Conan Doyle انتشارات سوییت چری

کتاب The Copper Beeches اثر Arthur Conan Doyle انتشارات سوییت چری

کتاب The Bruce-Partington Plans اثر Arthur Conan Doyle انتشارات sweet cherry

کتاب The Speckled Band اثر Arthur Conan Doyle انتشارات سوییت چری

کتاب The Sussex Vampire اثر Arthur Conan Doyle انتشارات Sweet Cherry

کتاب Danny Dingle&#039;s Fantastic Finds اثر Angie Lake انتشارات sweet cherry

کتاب First Words Exploring Animals 100 اثر Anastasiya Rudyk انتشارات Sweet Cherry

کتاب The Secret Garden اثر Frances Hodgson Burnett انتشارات Sweet Cherry

کتاب The Wonderful Wizard of Oz اثر Frank Baum انتشارات Sweet Cherry

کتاب Danny Dingle's Fantastic Finds اثر Angie Lake انتشارات sweet cherry