توضیحات
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 Pnuelis work on the verification of reactive systems using temporal logic techniques.
————————————————————–
ترجمه ماشینی :
این جلد به یاد برنده جایزه تورینگ در سال 1996، Amir Pnueli، که در نوامبر 2009 درگذشت، اختصاص دارد. Festschrift شامل 15 مقاله علمی است که توسط دانشمندان برجسته ای که به عنوان دانش آموزان، همکاران یا دوستان سابق به امیر Pnueli نزدیک بودند، نوشته شده است. موضوعات تحت پوشش کل وسعت کار علمی امیر پنولی، با تمرکز بر توسعه و کاربرد روش های رسمی را در بر می گیرد. همچنین شامل فصل اول جلد سوم منتشرنشده زوهر ماننا و کار امیر پنولیس در مورد راستیآزمایی سیستمهای واکنشی با استفاده از تکنیکهای منطق زمانی است.
tag : دانلود کتاب زمان تأیید: مقالاتی به یاد امیر پنولی , Download زمان تأیید: مقالاتی به یاد امیر پنولی , دانلود زمان تأیید: مقالاتی به یاد امیر پنولی , Download Time for Verification: Essays in Memory of Amir Pnueli Book , زمان تأیید: مقالاتی به یاد امیر پنولی دانلود , buy زمان تأیید: مقالاتی به یاد امیر پنولی , خرید کتاب زمان تأیید: مقالاتی به یاد امیر پنولی , دانلود کتاب Time for Verification: Essays in Memory of Amir Pnueli , کتاب Time for Verification: Essays in Memory of Amir Pnueli , دانلود Time for Verification: Essays in Memory of Amir Pnueli , خرید Time for Verification: Essays in Memory of Amir Pnueli , خرید کتاب Time for Verification: Essays in Memory of Amir Pnueli ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.