عنوان
پدید آورنده
موضوع
رده
TA1005 .F67 2011
TA1005
.
F67
2011
کتابخانه
محل استقرار
شابک
شابک
3642142613 (electronic bk.)
شابک
9783642142611 (electronic bk.)
شابک اشتباه
9783642142604
شماره کتابشناسی ملی
شماره
b512863
عنوان و نام پديدآور
عنوان اصلي
Forms/Format 2010 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
formal methods for automation and safety in railway and automotive systems /
نام نخستين پديدآور
Eckehard Schnieder, Géza Tarnai, Editors.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
[2011]
تاریخ نشرو بخش و غیره
©2011
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 256 pages)
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-3-642-14260-4
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Forms/format 2010.
قطعه
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
System safety, Congresses.
موضوع مستند نشده
Transportation-- Safety measures-- Data processing, Congresses.
مقوله موضوعی
موضوع مستند نشده
BUS-- 070100
موضوع مستند نشده
TRA-- 009000
رده بندی ديویی
شماره
388
.
0285
ويراست
22
رده بندی کنگره
شماره رده
TA1005
نشانه اثر
.
F67
2011
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Schnieder, Eckehard.
مستند نام اشخاص تاييد نشده
Tarnai, Géza.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20120425035437.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
