عنوان
پدید آورنده
موضوع
رده
QA76.9.A96
QA76
.
9
.
A96
کتابخانه
محل استقرار
شابک
شابک
3030010902
شابک
9783030010904
شابک اشتباه
3030010899
شابک اشتباه
9783030010898
عنوان و نام پديدآور
عنوان اصلي
Automated technology for verification and analysis :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
نام نخستين پديدآور
Shuvendu K. Lahiri, Chao Wang (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xiii, 560 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
11138
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automaton Logic.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030010904
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030010898
شماره استاندارد بين المللي کتاب و موسيقي
9783030010911
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ATVA 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence, Congresses.
موضوع مستند نشده
Automatic theorem proving, Congresses.
موضوع مستند نشده
3D graphics & modelling.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Automatic theorem proving.
موضوع مستند نشده
Computer programming-- software development.
موضوع مستند نشده
Computer security.
موضوع مستند نشده
Computers-- Computer Simulation.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Computers-- Programming Languages-- General.
موضوع مستند نشده
Computers-- Security-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
موضوع مستند نشده
Programming & scripting languages: general.
موضوع مستند نشده
Software Engineering.
مقوله موضوعی
موضوع مستند نشده
COM051230
موضوع مستند نشده
UMZ
موضوع مستند نشده
UMZ
رده بندی ديویی
شماره
006
.
3/33
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Lahiri, Shuvendu
مستند نام اشخاص تاييد نشده
Wang, Chao,1985-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
ATVA (Symposium)(16th :2018 :, Los Angeles, Calif.)
مبدا اصلی
تاريخ عمليات
20200823072549.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
