formal methods
Showing all 11 resultsSorted by latest
-
روشهای صوری در مهندسی نرمافزار
کتاب منطق جداسازی برای تضمین صحت برنامههای موازی
تومان249,950 افزودن به سبد خرید -
روشهای صوری در توسعه نرمافزار
کتاب مبانی و کاربردهای روشهای صوری در مهندسی نرمافزار
تومان249,950 افزودن به سبد خرید -
روشهای صوری در مهندسی نرمافزار
کتاب طراحی و اعتبارسنجی برنامههای کاربردی با روشهای صوری
تومان249,950 افزودن به سبد خرید -
Type Theory
کتاب تأییدپذیری برنامهها با نظریه انواع: گامی به سوی نرمافزار بینقص
تومان249,950 افزودن به سبد خرید -
Program Synthesis
کتاب ارزیابی و اعتبارسنجی برنامههای سنتز شده: معیارهای کیفیت
تومان249,950 افزودن به سبد خرید -
الگوهای طراحی و روشهای رسمی
کتاب از الگو تا اثبات: تکنیکهای رسمیسازی الگوهای طراحی برای مهندسی نرمافزار دقیق
تومان249,950 افزودن به سبد خرید -
فرآیندهای توسعه نرمافزار دقیق و اثباتشده
کتاب توسعه نرمافزار دقیق: اصول و تکنیکهای اثباتشده از Rigorous Software Development
تومان249,950 افزودن به سبد خرید -
سیستمهای موازی و توزیعشده
کتاب تسلط بر برنامهنویسی موازی: طراحی و پیادهسازی سیستمهای چندپردازندهای با رویکرد شبکههای پتری پیشرفته
تومان249,950 افزودن به سبد خرید -
اعتبارسنجی و تضمین ایمنی سیستمهای پویا
کتاب فراتر از شبیهسازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)
تومان249,950 افزودن به سبد خرید -
تکنیکهای توسعه جبری
کتاب ترندهای نوین در تکنیکهای توسعه جبری: بررسی WADT 2004
تومان249,950 افزودن به سبد خرید
