عنوان
پدید آورنده
موضوع
رده
QA76 .9 .T33 2010 E-Book ,
QA76
.
9
.
T33
2010
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783662466803
شماره کتابشناسی ملی
شماره
13586
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Tools and Algorithms for the Construction and Analysis of Systems
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 London, UK, April 11–18, 2015 Proceedings ABC
نام نخستين پديدآور
\ Christel Baier, Cesare Tinelli (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 725 p.
فروست
عنوان فروست
Lecture notes in computer science
مشخصه جلد
; 9035
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
متن يادداشت
Index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
System design -- Congresses.
موضوع مستند نشده
Computer software -- Verification -- Congresses.
موضوع مستند نشده
System analysis -- Congresses.
موضوع مستند نشده
طراحی سیستم -- کنگره‌ها
موضوع مستند نشده
نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده بندی کنگره
شماره رده
QA76
.
9
نشانه اثر
.
T33
2010
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Baier, Christel
مستند نام اشخاص تاييد نشده
Tinelli, Cesare
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
TACAS (Conference) (21st : 2015 : London, England)
مستند نام تنالگان تاييد نشده
ETAPS (Conference) (18th : 2015 : London, England)
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170216
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783662466803.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
