Formal Verification
نمایش 1–12 از 14 نتیجهSorted by latest
-
اثبات صوری و کاربردهای آن
کتاب اثبات خواص اعداد در سیستم Lean: مبانی نظریه اعداد مقدماتی
تومان249,950 افزودن به سبد خرید -
اثباتگری نرمافزاری و صحتسنجی
کتاب اثباتگر قیاسپذیر Lean: مبانی و کاربردها در مهندسی نرمافزار
تومان249,950 افزودن به سبد خرید -
تضمین صحت نرمافزار
کتاب اصول اثبات صحت برنامهها با پیششرط، پسشرط و ناورداییها
تومان249,950 افزودن به سبد خرید -
روشهای نوین در توسعه نرمافزار
کتاب تضمین صحت و قابلیت اطمینان نرمافزار با استفاده از روشهای صوری (Formal Verification)
تومان249,950 افزودن به سبد خرید -
توسعه نرمافزارهای امن و قابل اطمینان
کتاب طراحی و اعتبارسنجی نرمافزار با قراردادهای قابل اثبات
تومان249,950 افزودن به سبد خرید -
روشهای صوری در توسعه نرمافزار
کتاب مبانی و کاربردهای روشهای صوری در مهندسی نرمافزار
تومان249,950 افزودن به سبد خرید -
رمزنگاری پیشرفته و اثباتهای رسمی
کتاب طراحی و اثبات مدارهای دانش صفر با رویکرد رسمی
تومان249,950 افزودن به سبد خرید -
Satisfiability (SAT) Solvers
کتاب حلکنندههای SAT در دنیای واقعی: از مدارهای دیجیتال تا هوش مصنوعی
تومان249,950 افزودن به سبد خرید -
خودروهای خودران و حمل و نقل هوشمند
کتاب اعتبارسنجی رسمی الگوریتمهای کنترل و بهینهسازی در حمل و نقل هوشمند
تومان249,950 افزودن به سبد خرید -
الگوهای طراحی و روشهای رسمی
کتاب از الگو تا اثبات: تکنیکهای رسمیسازی الگوهای طراحی برای مهندسی نرمافزار دقیق
تومان249,950 افزودن به سبد خرید -
اعتبارسنجی و تضمین ایمنی سیستمهای پویا
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
تومان249,950 افزودن به سبد خرید
