دانلود کتاب Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (به فارسی: همزمانی، نمودارها و مدل ها: مقالات تقدیم به اوگو مونتاناری به مناسبت 65 سالگی او) نوشته شده توسط «Rocco De Nicola – Pierpaolo Degano – José Meseguer (auth.) – Pierpaolo Degano – Rocco De Nicola – José Meseguer (eds.)»
اطلاعات کتاب همزمانی، نمودارها و مدل ها: مقالات تقدیم به اوگو مونتاناری به مناسبت 65 سالگی او
موضوع اصلی: نظریه گراف
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Rocco De Nicola – Pierpaolo Degano – José Meseguer (auth.) – Pierpaolo Degano – Rocco De Nicola – José Meseguer (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 810
حجم کتاب: 25 مگابایت
کد کتاب: 9783540686767 , 3540686762
نوبت چاپ: 1
توضیحات کتاب همزمانی، نمودارها و مدل ها: مقالات تقدیم به اوگو مونتاناری به مناسبت 65 سالگی او
این جلد Festschrift که به افتخار اوگو مونتاناری به مناسبت 65امین تولد او منتشر شده است، حاوی 43 مقاله است که توسط دوستان و همکاران نوشته شده است، که همه دانشمندان برجسته به تنهایی، که در یک سمپوزیوم جشنی که در 12 ژوئن 2008 در پیزا برگزار شد گرد هم آمدند.
این جلد شامل هفت بخش است که شش بخش آن به حوزه های اصلی تحقیقاتی اختصاص دارد که اوگو به آن پرداخته است. مونتاناری کمک کرده است: تبدیل نمودار. محدودیت ها و برنامه نویسی منطقی. مهندسی نرم افزار؛ همزمانی؛ مدل های محاسباتی; و تایید نرم افزار هر یک از این شش بخش با یک مقاله مقدماتی شروع می شود که شرحی از سهم اوگو مونتاناری در این منطقه ارائه می دهد و مقالات این بخش را توصیف می کند. بخش پایانی شامل تعدادی مقاله است که دستاوردهای متعدد اوگو مونتاناری را ستایش می کند.
This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa.
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.
دانلود کتاب «همزمانی، نمودارها و مدل ها: مقالات تقدیم به اوگو مونتاناری به مناسبت 65 سالگی او»
