دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
دانلود کتاب روند اخیر در تکنیک های توسعه جبری: 21st Workshop International، WADT 2012، Salamanca، Spain، 7-10 ژوئن 2012، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (eds.) سری: Lecture Notes in Computer Science 7841 ISBN (شابک) : 9783642376344, 9783642376351 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 283 [293] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روند اخیر در تکنیک های توسعه جبری: 21st Workshop International، WADT 2012، Salamanca، Spain، 7-10 ژوئن 2012، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روند اخیر در تکنیک های توسعه جبری: 21st Workshop International، WADT 2012، Salamanca، Spain، 7-10 ژوئن 2012، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس بیست و یکمین کارگاه بین
المللی تکنیک های توسعه جبری، WADT 2012 است که در ژوئن 2012 در
سالامانکا، اسپانیا برگزار شد.
16 مقاله اصلاح شده ارائه شده با دقت بررسی و از بین 25 ارائه
انتخاب شدند. این کارگاه به موضوعات زیر می پردازد: مبانی
مشخصات جبری. سایر رویکردها برای مشخصات رسمی از جمله محاسبات
فرآیند و مدل های محاسبات همزمان، توزیع شده و سیار. زبان ها،
روش ها و محیط های مشخصات؛ معناشناسی روش ها و تکنیک های مدل
سازی مفهومی؛ توسعه مدل محور؛ تبدیل نمودار، بازنویسی اصطلاح و
سیستم های اثبات. ادغام تکنیک های مشخصات رسمی؛ تست رسمی و
تضمین کیفیت؛ اعتبارسنجی و تأیید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference
proceedings of the 21st International Workshop on Algebraic
Development Techniques, WADT 2012, held in June 2012, in
Salamanca, Spain.
The 16 revised papers presented were carefully reviewed and
selected from 25 presentations. The workshop deals with the
following topics: foundations of algebraic specification;
other approaches to formal specification including process
calculi and models of concurrent, distributed and mobile
computing; specification languages, methods, and
environments; semantics of conceptual modeling methods and
techniques; model-driven development; graph transformations,
term rewriting and proof systems; integration of formal
specification techniques; formal testing and quality
assurance; validation, and verification.
