عنوان
پدید آورنده
موضوع
رده
QA76.76.T48 T37 2009
QA76
.
76
.
T48
T37
2009
کتابخانه
محل استقرار
شابک
شابک
3642029485
شابک
3642029493 (e-isbn)
شابک
9783642029486
شابک
9783642029493 (e-isbn)
شماره کتابشناسی ملی
شماره
b433859
عنوان و نام پديدآور
عنوان اصلي
Tests and proofs
نام عام مواد
[Book]
ساير اطلاعات عنواني
third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
نام نخستين پديدآور
Catherine Dubois (ed.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2009
مشخصات ظاهری
نام خاص و کميت اثر
x, 168 p. :
ساير جزييات
ill. (some col.) ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary: SL 2 - Programming and software engineering
مشخصه جلد
5668
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به تکثیر
متن يادداشت
Also available in print
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-02948-6
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
TAP 2009
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Quality control, Congresses
موضوع مستند نشده
Computer software-- Reliability, Congresses
موضوع مستند نشده
Computer software-- Testing, Congresses
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
005
.
1/4
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
76
.
T48
شماره رده
QA76
.
76
.
T48
نشانه اثر
T37
2009
نشانه اثر
T37
2009
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dubois, Catherine
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
TAP 2009(2009 :, Eidgenössische Technische Hochschule Zürich, Switzerland)
مبدا اصلی
تاريخ عمليات
20100105105110.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
