دانلود کتاب All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
همه چیز درباره مود - یک چارچوب منطقی با عملکرد بالا: نحوه تعیین ، برنامه ریزی و تأیید سیستم ها در بازنویسی منطق
زبان : English
نویسندگان : Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540719407, 9783540719403
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4350
تعداد صفحات : 802[794]
حجم : 6 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان