عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R8 2013
QA76
.
76
.
V47
R8
2013
کتابخانه
محل استقرار
شابک
شابک
3642407870 (electronic bk.)
شابک
9783642407871 (electronic bk.)
شابک اشتباه
3642407862 (print)
شابک اشتباه
9783642407864 (print)
شماره کتابشناسی ملی
شماره
b435153
عنوان و نام پديدآور
عنوان اصلي
Runtime verification :
نام عام مواد
[Book]
ساير اطلاعات عنواني
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
نام نخستين پديدآور
Axel Legay, Saddek Bensalem (eds.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvii, 426 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
8174
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
RV 2013
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Testing, Congresses
موضوع مستند نشده
Computer software-- Verification, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
رده بندی ديویی
شماره
005
.
1/4
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
شماره رده
QA76
.
76
.
V47
نشانه اثر
R8
2013
نشانه اثر
R8
2013
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Bensalem, Saddek
مستند نام اشخاص تاييد نشده
Legay, Axel
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RV (Conference)(4th :2013 :, Rennes, France)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network
مبدا اصلی
تاريخ عمليات
20131202122228.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
