verify

همه چیز درباره Maude – یک چارچوب منطقی با کارایی بالا: نحوه تعیین، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق

دانلود کتاب All About Maude – A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic (به فارسی: همه چیز درباره Maude – یک چارچوب منطقی با کارایی بالا: نحوه تعیین، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق) نوشته شده توسط «Manuel Clavel – Francisco Durán – Steven Eker – Patrick Lincoln – Narciso Martí-Oliet – José Meseguer – Carolyn Talcott (auth.)» اطلاعات کتاب همه چیز درباره Maude – یک چارچوب منطقی با کارایی بالا: نحوه تعیین، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag…