مشخصات کتاب

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever

ویرایش:  
نویسندگان: Dennis Dams,  Ulrich Hannemann (auth.),  Dennis Dams,  Ulrich Hannemann,  Martin Steffen (eds.)  
سری: Lecture Notes in Computer Science 5930 : Theoretical Computer Science and General Issues 
 
ناشر: Springer Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 377p. 94 illus..
[383] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

در صورت تبدیل فایل کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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



این مجلد Festschrift که به افتخار ویلم-پل دوروور منتشر شده است، شامل 19 مقاله مفصل است که توسط دوستان و همکاران این افتخار نویس نوشته شده است، که همگی دانشمند برجسته هستند. قبل از اینها یک کتابشناسی مفصل ارائه شده و در پایان کتاب با گالری عکس گرد می شود.

مضمونی که مقالات تحت آن گردآوری شده است همسانی، ترکیب و صحت است. ، منعکس کننده تمرکز حرفه تحقیقاتی ویلم پل دوروور است. موضوعات مورد بررسی عبارتند از بررسی مدل، علوم کامپیوتر و ماشین‌های حالت، هستی‌شناسی و صرف شناسی دامنه‌ها، نظریه بازی، صحت کامپایلر، زمان‌بندی منصفانه و الگوریتم‌های رمزگذاری.

توضیحاتی درمورد کتاب به خارجی

This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs.

The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The immortal Irishman: the Irish revolutionary who became an American hero

دانلود کتاب Faeries, Revised Edition (Ars Magica Fantasy Roleplaying)

دانلود کتاب Faut-il libérer l’entreprise ? : confiance, responsabilité et autonomie au travail

دانلود کتاب Data Mining and Multi-agent Integration

دانلود کتاب Избранные задачи и теоремы элементарной математики. Арифметика и алгебра