نرم افزار: سیستم ها: محاسبات علمی

زمان تأیید: مقالاتی به یاد امیر پنولی

Time for Verification: Essays in Memory of Amir Pnueli

دانلود کتاب Time for Verification: Essays in Memory of Amir Pnueli (به فارسی: زمان تأیید: مقالاتی به یاد امیر پنولی) نوشته شده توسط «Howard Barringer – Dov M. Gabbay (auth.) – Zohar Manna – Doron A. Peled (eds.)»

اطلاعات کتاب زمان تأیید: مقالاتی به یاد امیر پنولی

موضوع اصلی: کامپیوتر – علوم کامپیوتر

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Howard Barringer – Dov M. Gabbay (auth.) – Zohar Manna – Doron A. Peled (eds.)

زبان: english

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

سال انتشار: 2010

تعداد صفحه: 413 / 407

حجم فایل: 3.93 مگابایت

کد کتاب: 3642137539 , 9783642137532

نوبت چاپ: 1

توضیحات کتاب زمان تأیید: مقالاتی به یاد امیر پنولی

این جلد به یاد برنده جایزه تورینگ در سال 1996، Amir Pnueli، که در نوامبر 2009 درگذشت، اختصاص دارد. Festschrift شامل 15 مقاله علمی است که توسط دانشمندان برجسته ای که به عنوان دانش آموزان، همکاران یا دوستان سابق امیر Pnueli نزدیک بودند، نوشته شده است. موضوعات تحت پوشش کل وسعت کار علمی امیر پنولی با تمرکز بر توسعه و کاربرد روش های رسمی را در بر می گیرد. همچنین شامل فصل اول جلد سوم منتشرنشده زوهر ماننا و کار امیر پنولی در مورد تأیید سیستم‌های واکنشی با استفاده از تکنیک‌های منطق زمانی است.

This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli, who passed away in November 2009. The Festschrift contains 15 scientific articles written by leading scientists who were close to Amir Pnueli either as former students, colleagues or friends. The topics covered span the entire breadth of the scientific work of Amir Pnueli, with a focus on the development and the application of formal methods. Also included is the first chapter of the unpublished Volume III of Zohar Manna and Amir Pnueli’s work on the verification of reactive systems using temporal logic techniques.

دانلود کتاب «زمان تأیید: مقالاتی به یاد امیر پنولی»

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

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

برچسب ها

دیدگاهتان را بنویسید

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