عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 B953 2011
QA76
.
9
.
S88
B953
2011
کتابخانه
محل استقرار
شابک
شابک
3642077889
شابک
9783642077883
شماره کتابشناسی ملی
شماره
b553617
عنوان و نام پديدآور
عنوان اصلي
Process algebra with timing
نام عام مواد
[Book]
نام نخستين پديدآور
by J.C.M. Baeten, C.A. Middelburg.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
1 volume ; 24 cm.
فروست
عنوان فروست
Monographs in theoretical computer science
يادداشت کلی
متن يادداشت
Originally published: 2002.
یادداشتهای مربوط به مندرجات
متن يادداشت
1. No Timing.- 2. Discrete Relative Timing.- 3. Discrete Absolute Timing.- 4. Continuous Relative Timing.- 5. Continuous Absolute Timing.- 6. Abstraction.- 7. Features.- A.1 Elimination.- A.2 Soundness.- A.3 Completeness.- B. Background Material.- B.1 Basic Equational Logic and SOS Theory.- B.1.1 Equational Logic.- B.1.2 SOS Theory.- B.2 Some Further Topics.- B.2.1 TSSs with Negative Premises.- B.2.2 Variable Binding Operators.- B.2.3 Conservativity and Completeness.- B.2.4 Generalizations.- B.2.5 Given Sorts and Parametrization.- B.3 Non-negative Real Numbers.- References.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science -- Mathematics.
موضوع مستند نشده
Discrete-time systems.
موضوع مستند نشده
System design.
رده بندی کنگره
شماره رده
QA76
.
9
.
S88
نشانه اثر
B953
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by J.C.M. Baeten, C.A. Middelburg.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Cornelis A Middelburg
مستند نام اشخاص تاييد نشده
J C M Baeten
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
