کالا: کتاب Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker اثر Wolfgang Schreiner انتشارات مؤلفین طلایی
دسته‌بندی: کتاب چاپی غیر فارسی
برند: انتشارات مؤلفین طلایی
فروشنده: انتشارات طلایی
قیمت: 3180000 ریال