دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
دانلود کتاب بازنویسی منطق و برنامه های کاربردی آن: نهمین کارگاه بین المللی ، WRLA 2012 ، به عنوان یک رویداد ماهواره ای از ETAPS ، تالین ، استونی ، 24-25 مارس 2012 ، نسخه های منتخب منتخب
مشخصات کتاب
Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Ananda Basu, Saddek Bensalem, Marius Bozga (auth.), Franciso Durán (eds.) سری: Lecture Notes in Computer Science 7571 ISBN (شابک) : 9783642340048, 9783642340055 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 241 [247] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بازنویسی منطق و برنامه های کاربردی آن: نهمین کارگاه بین المللی ، WRLA 2012 ، به عنوان یک رویداد ماهواره ای از ETAPS ، تالین ، استونی ، 24-25 مارس 2012 ، نسخه های منتخب منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بازنویسی منطق و برنامه های کاربردی آن: نهمین کارگاه بین المللی ، WRLA 2012 ، به عنوان یک رویداد ماهواره ای از ETAPS ، تالین ، استونی ، 24-25 مارس 2012 ، نسخه های منتخب منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی نهمین کارگاه بین المللی در بازنویسی منطق و کاربردهای آن، WRLA 2012 است که به عنوان رویداد ماهواره ای ETAPS 2012، در تالین، استونی، در مارس 2012 برگزار شد. مقالات ارائه شده همراه با 4 مقاله دعوت شده به دقت بررسی و از بین 12 ارسال اولیه و 5 سخنرانی دعوت شده انتخاب شدند. این مقالات به تنوع زیادی از موضوعات در زمینه‌های منطق بازنویسی می‌پردازند: مبانی و مدل‌ها، زبان‌ها، چارچوب منطقی و معنایی، مهندسی نرم‌افزار مبتنی بر مدل، الحاقات بلادرنگ و احتمالی، تکنیک‌های تأیید، و سیستم‌های توزیع‌شده. p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.
