دانلود کتاب CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Name: CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
Availability: InStock
Author: Fred B. Schneider (auth.)
ISBN: 3540744061, 9783540744061

by Fred B. Schneider (auth.)

عنوان فارسی: موافقم 2007 - نظریه همزمانی: 18 کنفرانس بین المللی، موافقم 2007، لیسبون، پرتغال، 3-8 سپتامبر، 2007. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2007
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 510-518
شابک: 3540744061, 9783540744061
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 6.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

The 17th International Conference on Concurrency Theory was held in Lisbon, Portugal, in September 2007. The conference drew leading experts in concurrency theory who came to share their findings and discuss the latest developments in the field. This volume constitutes the refereed proceedings of the conference.Thirty full papers are presented along with three important invited papers. Readers will discover many important findings and applications in concurrency theory.Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

گزارش اشکال ⚠