عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 A88 2011
QA76
.
9
.
A96
A88
2011
کتابخانه
محل استقرار
شابک
شابک
3642243711
شابک
364224372X
شابک
9783642243714
شابک
9783642243721
شابک اشتباه
9783642243714
شماره کتابشناسی ملی
شماره
b434253
عنوان و نام پديدآور
عنوان اصلي
Automated technology for verification and analysis :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
نام نخستين پديدآور
Tevfik Bultan, Pao-Ann Hsiung (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiv, 532 pages) :
ساير جزييات
illustrations (some color)
فروست
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
6996
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ATVA 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence, Congresses
موضوع مستند نشده
Automatic theorem proving, Congresses
رده بندی ديویی
شماره
006
.
3/33
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نشانه اثر
A88
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Bultan, Tevfik
مستند نام اشخاص تاييد نشده
Hsiung, Pao-Ann
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
ATVA (Symposium)(9th :2011 :, Taipei, Taiwan)
مبدا اصلی
تاريخ عمليات
20170726082128.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
