عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 T33 2011
QA76
.
9
.
S88
T33
2011
کتابخانه
محل استقرار
شابک
شابک
364219835X (electronic bk.)
شابک
9783642198359 (electronic bk.)
شابک اشتباه
9783642198342
شماره کتابشناسی ملی
شماره
b434092
عنوان و نام پديدآور
عنوان اصلي
Tools and algorithms for the construction and analysis of systems
نام عام مواد
[Book]
ساير اطلاعات عنواني
17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings /
نام نخستين پديدآور
Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvi, 394 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Advanced research in computing and software science
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
6605.
شاپا ي ISSN فروست
1611-3349 ;
يادداشت کلی
متن يادداشت
International conference proceedings
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The LNCS subline Advanced Research in Computing and Software Science, ARCoSS, has been established in cooperation with the European Association for Theoretical Computer Science, EATCS, and the community of the European Joint Conferences on Theory and Practice of Software, ETAPS. Starting out with the proceedings of the EATCS main conferences and the ETAPS conferences, ARCoSS is also open to other high-quality proceedings focusing on computing and software science. Embedded in the overall framework of LNCS, ARCoSS is scientifically supervised by the ARCoSS-subline series editors and advisory hoard and is published with its own distinctive cover
متن يادداشت
In parallel to the printed book, each new volume is published electronically in LNCS Online. Book jacket
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Tools and algorithms for the construction and analysis of systems.
شماره استاندارد بين المللي کتاب و موسيقي
9783642198342
قطعه
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
ETAPS 2011
عنوان اصلي به زبان ديگر
TACAS 2011
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
System analysis, Congresses
موضوع مستند نشده
System design, Congresses
رده بندی ديویی
شماره
004
.
2/1
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
S88
نشانه اثر
T33
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Abdulla, Parosh Aziz
مستند نام اشخاص تاييد نشده
Leino, K. Rustan M
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
TACAS (Conference)(17th :2011 :, Saarbrücken, Germany)
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
ETAPS (Conference)(2011 :, Saarbrücken, Germany)
مبدا اصلی
تاريخ عمليات
20120425035453.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
