عنوان
پدید آورنده
موضوع
رده
QA76.76.V47
QA76
.
76
.
V47
کتابخانه
محل استقرار
شابک
شابک
303003769X
شابک
9783030037697
شابک اشتباه
9783030037680
عنوان و نام پديدآور
عنوان اصلي
Runtime verification :
نام عام مواد
[Book]
ساير اطلاعات عنواني
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
نام نخستين پديدآور
Christian Colombo, Martin Leucker (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 470 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
11237
يادداشت کلی
متن يادداشت
Includes author index.
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
Invited Papers -- Tutorial Papers -- Regular Papers -- Short Papers -- Tool Papers.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Chapter "Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030037697
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030037680
شماره استاندارد بين المللي کتاب و موسيقي
9783030037703
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
RV 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Testing, Congresses.
موضوع مستند نشده
Computer software-- Verification, Congresses.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer software-- Testing.
موضوع مستند نشده
Computer software-- Verification.
موضوع مستند نشده
Computers-- General.
موضوع مستند نشده
Computers-- Hardware-- Handheld Devices.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Programming Languages-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Information technology: general issues.
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
موضوع مستند نشده
Programming & scripting languages: general.
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
Systems analysis & design.
مقوله موضوعی
موضوع مستند نشده
COM051230
موضوع مستند نشده
UMZ
موضوع مستند نشده
UMZ
رده بندی ديویی
شماره
005
.
1/4
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Colombo, Christian
مستند نام اشخاص تاييد نشده
Leucker, Martin
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RV (Conference)(18th :2018 :, Limassol, Cyprus)
مبدا اصلی
تاريخ عمليات
20200823075758.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
