دانلود کتاب Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

مدلسازی و تأیید فرآیندهای موازی: چهارمین مدرسه تابستانی ، MOVEP 2000 نانت ، فرانسه ، سخنرانی های تجدید نظر شده 19 تا 23 ژوئن 2000

زبان : English

نویسندگان : Stephan Merz (auth.), Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2001

ISBN (شابک) : 3540427872, 9783540427872

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2067

تعداد صفحات : 234[227]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان