Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

FORMS/FORMAT 2010

Formal Methods for Automation and Safety in Railway and Automotive Systems

Език Английски езикАнглийски език
Книга С твърди корици
Книга FORMS/FORMAT 2010 Eckehard Schnieder
Код Либристо: 01656201
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2011
Complexity in automation- and safety systems in railway as well as automotive applications are domin... Цялото описание
? points 573 b
237.12 €
463.77  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

Der Russisch-Türkische Krieg 1877-1878 auf der Balkan-Halbinsel. Bd.4/2 / Книга С меки корици
common.buy 37.80 € 73.93 лв
Het Leven der Dieren Deel 1, Hoofdstuk 02 Alfred Edmund Brehm / Книга С твърди корици
common.buy 17.14 € 33.51 лв
Becquee René Boylesve / Книга С твърди корици
common.buy 21.80 € 42.63 лв
Umweltkatastrophen und Klimawandel Andrea Burkhardt / Книга С меки корици
common.buy 22.88 € 44.76 лв
Theatre Complet de Jean Racine Jean Racine / Книга С меки корици
common.buy 45.10 € 88.21 лв
Lo esencial de Otto Preminger José de Diego / Книга С меки корици
common.buy 13.98 € 27.34 лв
Lebenskunst als Lebenskraft Mario Betti / Книга С твърди корици
common.buy 17.19 € 33.62 лв
Dračí oči Stephen King / Книга С меки корици
common.buy 13.56 € 26.53 лв

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups especially for safety relevant systems the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.§Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие FORMS/FORMAT 2010
Автор Eckehard Schnieder, Geza Tarnai
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2011
Брой страници 257
Баркод 9783642142604
ISBN 3642142605
Код Либристо 01656201
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1230
Размери 155 x 235 x 25

Категории

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Industrial quality control
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Reliability engineering
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Technology, Engineering, Agriculture > Transport technology & trades > Automotive technology & trades > Automotive (motor mechanic) skills
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Transport technology & trades > Railway technology, engineering & trades
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Technology, Engineering, Agriculture > Industrial chemistry & manufacturing technologies
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Limits Alan F. Beardon / Книга С меки корици
common.buy 53.39 € 104.41 лв
Novel: which hand one, for skin to breathe? Huytoanvo Huytoanvo Huytoanvo Vo / Книга С меки корици
common.buy 23.87 € 46.68 лв
American Symbols: What You Need to Know Melissa Ferguson / Книга С меки корици
common.buy 7.97 € 15.59 лв
The Imitation of Christ Thomas A. Kempis / Книга С меки корици
common.buy 16.15 € 31.59 лв
Valley of the Eagles C J Carr / Книга С меки корици
common.buy 9.16 € 17.92 лв
Cca Michael J Pluger / Книга С меки корици
common.buy 65.81 € 128.72 лв
Knowledge & practices of mothers of children under 5 years with asthma Gehan Amin / Книга С меки корици
common.buy 67.89 € 132.77 лв
F is for Feelings Goldie Millar / Книга С меки корици
common.buy 12.42 € 24.30 лв
Depression Chris Irons / Книга С меки корици
common.buy 32.83 € 64.20 лв
Stories of Birds Lenore Elizabeth Mulets / Книга С твърди корици
common.buy 21.80 € 42.63 лв
High Performance Computing and Communications Ronald Perrott / Книга С меки корици
common.buy 108.69 € 212.58 лв
Public Servants Johanna Burton / Книга С твърди корици
common.buy 36.56 € 71.50 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?