عنوان
پدید آورنده
موضوع
رده
QA76.6 .I5733 2012eb
QA76
.
6
.
I5733
2012eb
کتابخانه
محل استقرار
شابک
شابک
3642331254 (electronic bk.)
شابک
9783642331251 (electronic bk.)
شابک اشتباه
3642331246
شابک اشتباه
9783642331244
شماره کتابشناسی ملی
شماره
b509307
عنوان و نام پديدآور
عنوان اصلي
Static analysis :
نام عام مواد
[Book]
ساير اطلاعات عنواني
19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
نام نخستين پديدآور
Antoine Miné, David Schmidt (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2012]
تاریخ نشرو بخش و غیره
©2012
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 455 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Advanced research in computing and software science
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
7460
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Static analysis.
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
SAS 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer programming, Congresses.
موضوع مستند نشده
Programming languages (Electronic computers), Congresses.
رده بندی ديویی
شماره
005
.
1
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
6
نشانه اثر
.
I5733
2012eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Miné, Antoine.
مستند نام اشخاص تاييد نشده
Schmidt, David A.,1953 May 10-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Static Analysis Symposium(19th :2012 :, Deauville, France)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20130304114536.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
