دانلود کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (به فارسی: روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح شده) نوشته شده توسط «L. Andrade – P. Baldan – H. Baumeister – R. Bruni – A. Corradini – R. De Nicola (auth.) – Martin Wirsing – Dirk Pattinson – Rolf Hennicker (eds.)»
اطلاعات کتاب روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح شده
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: L. Andrade – P. Baldan – H. Baumeister – R. Bruni – A. Corradini – R. De Nicola (auth.) – Martin Wirsing – Dirk Pattinson – Rolf Hennicker (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 464
حجم کتاب: 5 مگابایت
کد کتاب: 3540205373 , 9783540205371
نوبت چاپ: 1
توضیحات کتاب روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی، WADT 2002، Frauenchiemsee، آلمان، 24-27 سپتامبر 2002، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل شانزدهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT 2002، برگزار شده در Frauenchiemsee، آلمان در سپتامبر 2002 است.
20 مقاله کامل اصلاح شده همراه با 6 مقاله ارائه شده است. مقالات دعوت شده با دقت بهبود یافته و از بین 44 ارائه کارگاهی طی دو دور بررسی انتخاب شدند. این مقالات به موضوعاتی مانند روش‌های رسمی برای توسعه سیستم، زبان‌ها و روش‌های مشخصات، سیستم‌ها و تکنیک‌های استدلال درباره مشخصات، سیستم‌های توسعه مشخصات، روش‌ها و تکنیک‌های سیستم‌های همزمان، توزیع‌شده و متحرک، و روش‌های جبری و جبری اختصاص داده شده‌اند.
This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.
The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.
