کتاب الکترونیکی

سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده … علوم کامپیوتر و مسائل عمومی)

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues)

دانلود کتاب Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers … Computer Science and General Issues) (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده … علوم کامپیوتر و مسائل عمومی)) نوشته شده توسط «Danny De Schreye»

اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده … علوم کامپیوتر و مسائل عمومی)

موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Danny De Schreye

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2010

تعداد صفحه: 213

حجم کتاب: 3 مگابایت

کد کتاب: 3642125913 , 9783642125911

نوبت چاپ: 1st Edition.

توضیحات کتاب سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده … علوم کامپیوتر و مسائل عمومی)

این جلد مجموعه مقالات پس از کنفرانس با داوری کامل نوزدهمین سمپوزیوم بین‌المللی سنتز و تحول برنامه مبتنی بر منطق، LOPSTR 2009، که در کویمبرا، پرتغال، طی 9 تا 11 سپتامبر 2009 برگزار شد. 14 مقاله کامل اصلاح شده همراه با یک مقاله ارائه شد سخنرانی دعوت شده به دقت بررسی و برای گنجاندن در کتاب انتخاب شد. LOPSTR به طور سنتی مقالاتی را در زمینه‌های مشخصات، سنتز، تأیید، تبدیل، تجزیه و تحلیل، بهینه‌سازی، ترکیب، امنیت، استفاده مجدد، برنامه‌ها و ابزارها، توسعه نرم‌افزار مبتنی بر مؤلفه، معماری‌های نرم‌افزار، توسعه نرم‌افزار مبتنی بر عامل، و اصلاح برنامه‌ها درخواست می‌کند.

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

دانلود کتاب «سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده … علوم کامپیوتر و مسائل عمومی)»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان