عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 T33 2010
QA76
.
9
.
S88
T33
2010
کتابخانه
محل استقرار
شابک
شابک
3642120024
شابک
9783642120022
شماره کتابشناسی ملی
شماره
b433983
عنوان و نام پديدآور
عنوان اصلي
Tools and algorithms for the construction and analysis of systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
نام نخستين پديدآور
Javier Esparza, Rupak Majumdar (editions.)
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 468 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Advanced research in computing and software science
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
6015
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 35 papers presented were carefully reviewed and selected from 134 submissions. The topics covered are probabilistic systems and optimization, decision procedures, tools, automata theory, liveness, software verification, real time and information flow, and testing
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-12001-5
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Tools and algorithms for the construction and analysis of systems.
شماره استاندارد بين المللي کتاب و موسيقي
3642120016
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
System analysis, Congresses
موضوع مستند نشده
System design, Congresses
موضوع مستند نشده
Computer Systems.
موضوع مستند نشده
Software Validation.
موضوع مستند نشده
Systems Analysis.
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
004
.
2/1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
S88
نشانه اثر
T33
2010
سایر رده بندی ها
شماره رده
QA
76
.
9
.
S88
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Esparza, Javier
مستند نام اشخاص تاييد نشده
Majumdar, Rupak
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
TACAS (Conference)(16th :2010 :, Paphos, Cyprus)
مبدا اصلی
تاريخ عمليات
20170726082009.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
