عنوان
پدید آورنده
موضوع
رده
QA76.6
QA76
.
6
کتابخانه
محل استقرار
شابک
شابک
3642237029
شابک
9783642237027
شابک اشتباه
3642237010
شابک اشتباه
9783642237010
شماره کتابشناسی ملی
شماره
b434189
عنوان و نام پديدآور
عنوان اصلي
Static analysis :
نام عام مواد
[Book]
ساير اطلاعات عنواني
18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
نام نخستين پديدآور
Eran Yahav (edition)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xii, 385 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Advanced research in computing and software science
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
6887.
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-23701-0
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Static Analysis.
شماره استاندارد بين المللي کتاب و موسيقي
9783642237010
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SAS 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming, Congresses
موضوع مستند نشده
Programming languages (Electronic computers), Congresses
رده بندی ديویی
شماره
005
.
1
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
6
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Yahav, Eran
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Static Analysis Symposium(18th :2011 :, Venice, Italy)
مبدا اصلی
تاريخ عمليات
20170726082127.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
