عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 M66 2010
QA76
.
9
.
L63
M66
2010
کتابخانه
محل استقرار
شابک
شابک
3642145388
شابک
9783642145384
شابک اشتباه
364214537X
شابک اشتباه
9783642145377
شماره کتابشناسی ملی
شماره
b423622
عنوان و نام پديدآور
عنوان اصلي
Specification and verification of declarative open interaction models :
نام عام مواد
[Book]
ساير اطلاعات عنواني
a logic-based approach /
نام نخستين پديدآور
Marco Montali
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxii, 411 pages)
فروست
عنوان فروست
Lecture notes in business information processing ;
مشخصه جلد
56
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به مندرجات
متن يادداشت
pt. 1. Specification -- part 2. Static verification -- part 3. Run-time and a-posteriori verification -- part 4. Conclusion and future work
بدون عنوان
0
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-14537-7
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Specification and verification of declarative open interaction models.
شماره استاندارد بين المللي کتاب و موسيقي
9783642145377
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational intelligence
موضوع مستند نشده
Computer logic
موضوع مستند نشده
Declarative programming languages
موضوع مستند نشده
Information technology
موضوع مستند نشده
Management information systems
موضوع مستند نشده
Business
مقوله موضوعی
موضوع مستند نشده
COM-- 037000
رده بندی ديویی
شماره
005
.
101/5113
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
L63
نشانه اثر
M66
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Montali, Marco
مبدا اصلی
تاريخ عمليات
20170726082033.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
