Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

FORMS/FORMAT 2010

Formal Methods for Automation and Safety in Railway and Automotive Systems

Limba englezăengleză
Carte Carte broșată
Carte FORMS/FORMAT 2010 Eckehard Schnieder
Codul Libristo: 09069321
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2014
Complexity in automation- and safety systems in railway as well as automotive applications are domin... Descrierea completă
? points 525 b
1 138.98 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Emil Běžec Pavel Kosatík / Audio Audio CD
common.buy 43.15 lei
Kaufmann/Kauffrau im E-Commerce. 2. Ausbildungsjahr: Schülerband Nadine Rosenkranz / Carte Carte broșată
common.buy 229.04 lei
Chemomechanische Modellierung der Wärmebehandlung von Stählen mit der Phasenfeldmethode Ephraim Schoof / Carte Carte broșată
common.buy 233.42 lei
Elfen Lied 11 Lynn Okamoto / Carte Carte broșată
common.buy 56.91 lei
Agriculture Intensive Et Risques Phytosanitaires Binguimalet-A / Carte Carte broșată
common.buy 321.72 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet FORMS/FORMAT 2010
Autor Eckehard Schnieder, Geza Tarnai
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 257
EAN 9783642427169
ISBN 9783642427169
Codul Libristo 09069321
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 421
Dimensiuni 155 x 235 x 14

Categorii

Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Reliability engineering
Technology, Engineering, Agriculture > Transport technology & trades > Automotive technology & trades
Computing & Information Technology > Computer science > Computer modelling & simulation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Positive Linear Maps of Operator Algebras Erling Stormer / Carte Carte broșată
common.buy 684.11 lei
Seed of Love ANNA MARRIOTT / Carte Copertă tare
common.buy 171.70 lei
Leben Und Die Werke Des Benediktiners Pierre Bercuire Teildruck Vorgelegt Von Franz Fassbinder Fassbinder Franz / Carte Carte broșată
common.buy 94.86 lei
Thorn and the Blade of Shovac Chad Lynch / Carte Carte broșată
common.buy 84.23 lei
alieNATION Dianne G. Bystrom / Carte Carte broșată
common.buy 237.90 lei
Secondary Ion Mass Spectrometry Fred A. Stevie / Carte Carte broșată
common.buy 334.13 lei
Bowlful of Laughs Bill Rosen / Carte Copertă tare
common.buy 132.60 lei
Chinese Lantern Laurence Housman / Carte Copertă tare
common.buy 169.09 lei
Italian Ann Radcliffe / Carte Carte broșată
common.buy 127.39 lei
Dinomania Boria Sax / Carte Copertă tare
common.buy 137.40 lei
Picnic in the Storm Yukiko Motoya / Carte Carte broșată
common.buy 73.18 lei
Ielts Writing Task 2 Corrections: Most Common Mistakes Students Make and How to Avoid Them (Book 10) Johnny Chuong / Carte Carte broșată
common.buy 45.97 lei
Pussy Riot Eliot Borenstein / Carte Carte broșată
common.buy 132.60 lei
Top
Dune: Part Two - 4K UHD Denis Villeneuve / Videoclip Blu-ray
common.buy 121.13 lei
Top
Bluey: Where's Bluey and Bingo? Bluey / Carte Carte broșată
common.buy 44.51 lei
Yeast technology Gerald Reed / Carte Carte broșată
common.buy 570.37 lei
Roman Legionary in Battle (Second Revision) John Plant / Carte Carte broșată
common.buy 96.43 lei
Reminiscences of Two Years in the United States Navy John M Batten / Carte Copertă tare
common.buy 166.28 lei
Van Gogh and the Art of Living Anton Wessels / Carte Carte broșată
common.buy 120.92 lei
Memoirs of an American Teacher Marjorie Ruth White / Carte Copertă tare
common.buy 216.22 lei
Not Playing Fair ... Can Be Costly Dr George Foxx / Carte Carte broșată
common.buy 95.07 lei
52 Wows R Dean Akers / Carte Copertă tare
common.buy 171.49 lei
Village of the West. Richard Whieldon Baddeley / Carte Carte broșată
common.buy 132.19 lei
Para Kindred Storm Constantine / Carte Carte broșată
common.buy 98.82 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?