دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (به فارسی: روش‌های رسمی در مدل‌سازی نرم‌افزار و سیستم‌ها: مقاله‌های تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او) نوشته شده توسط «Paolo Baldan – Andrea Corradini (auth.) – Hans-Jörg Kreowski – Ugo Montanari – Fernando Orejas – Grzegorz Rozenberg – Gabriele Taentzer (eds.)»
اطلاعات کتاب روش‌های رسمی در مدل‌سازی نرم‌افزار و سیستم‌ها: مقاله‌های تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Paolo Baldan – Andrea Corradini (auth.) – Hans-Jörg Kreowski – Ugo Montanari – Fernando Orejas – Grzegorz Rozenberg – Gabriele Taentzer (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 420
حجم کتاب: 6 مگابایت
کد کتاب: 9783540249368 , 3540249362
نوبت چاپ: 1
توضیحات کتاب روش‌های رسمی در مدل‌سازی نرم‌افزار و سیستم‌ها: مقاله‌های تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او
این کتاب با ارائه جدیدترین نتایج تحقیقاتی در مورد جنبه‌های مختلف مدل‌سازی رسمی و بصری نرم‌افزارها و سیستم‌ها، 60امین تولد هارتموت ارگ را گرامی می‌دارد. P>
24 مقاله بررسی شده دعوت شده توسط دانشجویان و همکاران Hartmut Ehrig نوشته شده است که محققین معتبر در زمینه خود هستند. با انعکاس علاقه علمی و کار هارتموت اریگ، این مقالات به سه بخش اصلی در تبدیل نمودار، مشخصات جبری و منطق، و مدل‌سازی رسمی و بصری تقسیم می‌شوند.
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.
The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.