
Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19-23, 2000 Revised Tutorial Lectures.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2001
شابک
9783540455103
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران