دانلود کتاب An Introduction to Practical Formal Methods Using Temporal Logic
ویژگی های محصول
شناسه محصول: an-introduction-to-practical-formal-methods-using-temporal-logic
دستهبندی: computer-science
تاریخ به روز رسانی: 29 مرداد 1405
108,000تومان
محصولات مرتبط
فونیکس | بانک دانش کامپیوتر

نقد و بررسی وجود ندارد.