خرید و دانلود نسخه کامل کتاب Automated and Algorithmic Debugging: First International Workshop, AADEBUG ’93 Linköping, Sweden, May 3–5, 1993 Proceedings
قیمت اصلی 83,500 تومان بود.46,000 تومانقیمت فعلی 46,000 تومان است.
تعداد فروش: 68
| عنوان فارسی |
اشکال زدایی خودکار و الگوریتمی: اولین کارگاه بین المللی، AADEBUG ’93 لینکوپینگ، سوئد، 3 تا 5 مه 1993 مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated and Algorithmic Debugging: First International Workshop, AADEBUG ’93 Linköping, Sweden, May 3–5, 1993 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Mireille Ducassé (auth.), Peter A. Fritzson (eds.) |
| ISBN | 9783540574170, 0387574174 |
| سال نشر | 1993 |
| زبان | English |
| تعداد صفحات | 375 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 20 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
اشکال‌زدایی همیشه بخشی پرهزینه از توسعه نرم‌افزار بوده است، و تلاش‌های زیادی برای ارائه پشتیبانی خودکار رایانه‌ای برای این کار انجام شده است. اشکال‌زدایی خودکار پیشرفت‌های عمده‌ای در دهه گذشته داشته است. یکی از توسعه‌های موفق، اشکال‌زدایی الگوریتمی است که در برنامه‌نویسی منطقی سرچشمه می‌گیرد، اما بعداً به زبان‌های تابعی همزمان، ضروری و تنبل تعمیم داده شد. همچنین پیشرفت‌های مهمی در اشکال‌زدایی برنامه‌های مبتنی بر دانش، و در رویکردهای اشکال‌زدایی خودکار بر اساس برش استاتیک و پویا برنامه بر اساس جریان داده و فناوری تجزیه و تحلیل وابستگی صورت گرفته است. این اولین جلد از مقالات جمع آوری شده در مورد اشکال زدایی خودکار است و آخرین پیشرفت ها، مقالات آموزشی و نظرسنجی ها را ارائه می دهد.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.