عنوان
پدید آورنده
موضوع
رده
QA76.58 M564 2001
QA76
.
58
M564
2001
کتابخانه
محل استقرار
شابک
شابک
1461301238
شابک
9781461301233
شماره کتابشناسی ملی
شماره
b538890
عنوان و نام پديدآور
عنوان اصلي
Topology in Process Calculus :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Approximate Correctness and Infinite Evolution of Concurrent Programs.
نام نخستين پديدآور
Mingsheng Ying
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer New York
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
(225 pages)
یادداشتهای مربوط به مندرجات
متن يادداشت
Topology in Process Calculus; Copyright; Preface; Contents; 1 Introduction; 2 Process Calculus; 3 Bisimulation and Trace Limits of Agents; 4 Limit Behavior of Agents; 5 Near Bisimulations Defined by Closures; 6 Bisimulation Indexes Induced by Metrics on Actions; 7 Conclusion; References; Index.
رده بندی کنگره
شماره رده
QA76
.
58
نشانه اثر
M564
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Mingsheng Ying
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Mingsheng Ying
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
