دانلود کتاب Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers (به فارسی: روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی، WADT ’99، Château de Bonas، 15-18 سپتامبر 1999 مقالات منتخب) نوشته شده توسط «Joachim van den Berg – Marieke Huisman – Bart Jacobs – Erik Poll (auth.) – Didier Bert – Christine Choppy – Peter D. Mosses (eds.)»
اطلاعات کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی، WADT ’99، Château de Bonas، 15-18 سپتامبر 1999 مقالات منتخب
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Joachim van den Berg – Marieke Huisman – Bart Jacobs – Erik Poll (auth.) – Didier Bert – Christine Choppy – Peter D. Mosses (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2000
تعداد صفحه: 490
حجم کتاب: 4 مگابایت
کد کتاب: 3540678980 , 9783540678984
نوبت چاپ: 1
توضیحات کتاب روندهای اخیر در تکنیک های توسعه جبری: چهاردهمین کارگاه بین المللی، WADT ’99، Château de Bonas، 15-18 سپتامبر 1999 مقالات منتخب
این کتاب مجموعه مقالات پس از کارگاه آموزشی چهاردهمین کارگاه بین المللی تکنیک های توسعه جبری، WADT’99 است که در سپتامبر 1999 در تولوز، فرانسه برگزار شد.
23 مقاله کامل اصلاح شده ارائه شده همراه با سه مقاله دعوت شده با دقت بررسی شدند. و از 69 ارائه کارگاهی انتخاب شده است. این مقالات به موضوعات زیر می پردازند: مشخصات جبری و سایر فرمالیسم های مشخصات، آزمون و اعتبارسنجی، کاربردهای فرآیندهای همزمان، منطق و اعتبارسنجی، ترکیب فرمالیسم ها، زیرمجموعه ها و جزئی بودن، ساختارسازی، بازنویسی، جبرها و طرح های مشترک، پالایش، نهادها و مقوله ها، و مشخصات ASM.
The 23 revised full papers presented together with three invited papers were carefully reviewed and selected from 69 workshop presentations. The papers address the following topics: algebraic specification and other specification formalisms, test and validation, concurrent processes applications, logic and validation, combining formalisms, subsorts and partiality, structuring, rewriting, co-algebras and sketches, refinement, institutions and categories, and ASM specifications.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.