افزودن به علاقه مندی ها

دانلود کتاب Deductive verification of object-oriented software : dynamic frames, logic and predicate abstraction

Name: دانلود کتاب Deductive verification of object-oriented software : dynamic frames, logic and predicate abstraction
SKU: deductive-verification-of-object-oriented-software-dynamic-frames-dynamic-logic-and-predic
Price: 1080000 IRR
Availability: InStock

ویژگی های محصول

شناسه محصول: deductive-verification-of-object-oriented-software-dynamic-frames-dynamic-logic-and-predic دسته‌بندی: computer-science تاریخ به روز رسانی: 29 مرداد 1405

108,000تومان