عنوان
پدید آورنده
موضوع
رده
TA،1005،.S97،2011
TA
،
1005
،.
S97
،
2011
کتابخانه
محل استقرار
شابک
شابک
9783642142604
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
FORMS/FORMAT 2010
ساير اطلاعات عنواني
formal methods for automation and safety in railway and automotive systems
نام نخستين پديدآور
Eckehard Schnieder, Gaeza Tarnai, editors
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg ;New York
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2011
مشخصات ظاهری
نام خاص و کميت اثر
xi, 256 p. , ill. , 25 cm.
يادداشت کلی
متن يادداشت
Title
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Transportation, Safety measures, Data processing, Congresses
عنصر شناسه ای
Formal methods (Computer science), Congresses
عنصر شناسه ای
System safety, Congresses
رده بندی کنگره
شماره رده
TA
نشانه اثر
1005
شماره رکورد رده بندي
.
S97
شماره رکورد غير از شماره رده بندي
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems(8th :2010 :Braunschweig, Germany)
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Schnieder, Eckehard.
عنصر شناسه اي
Tarnai, Gaeza.
