دانلود کتاب CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings (Lecture Notes in Computer Science, 4703)

Name: CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings (Lecture Notes in Computer Science, 4703)
Availability: InStock
Author: Luís Caires (editor)
ISBN: 3540744061,9783540744061

by Luís Caires (editor), Vasco T. Vasconcelos (editor)

عنوان فارسی: CONCUR 2007 - Concurrency Theory: هجدهمین کنفرانس بین المللی، CONCUR 2007، لیسبون، پرتغال، 3-8 سپتامبر 2007، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 4703)
ناشر: Springer
سال: 2007
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 523-519
شابک: 3540744061,9783540744061
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 8.21 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.