شابک
شابک
9783642142611 (electronic bk.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-5891
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Forms/Format 201
نام عام مواد
[Book]
ساير اطلاعات عنواني
:formal methods for automation and safety in railway and automotive systems
نام نخستين پديدآور
/ Eckehard Schnieder, Gaeza Tarnai, Editors
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;Heidelberg ;New York
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, c2011.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 256 p.)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Transportation, Safety measures, Data processing, Congresses
موضوع مستند نشده
Formal methods (Computer science), Congresses
موضوع مستند نشده
System safety, Congresses
موضوع مستند نشده
Electronic books
رده بندی ديویی
شماره
388
.
0285
رده بندی کنگره
شماره رده
TA1005
نشانه اثر
.
F67
2011
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Schnieder, Eckehard
مستند نام اشخاص تاييد نشده
Tarnai, Gaeza
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
