A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

FORMS/FORMAT 2010

Formal Methods for Automation and Safety in Railway and Automotive Systems

Nyelv AngolAngol
Könyv Puha kötésű
Könyv FORMS/FORMAT 2010 Eckehard Schnieder
Libristo kód: 09069321
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2014
Complexity in automation- and safety systems in railway as well as automotive applications are domin... Teljes leírás
? points 541 b
80 691 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

GaYme Changer Jens Schadendorf / Könyv Kemény kötésű
common.buy 8 804 Ft
Chemomechanische Modellierung der Wärmebehandlung von Stählen mit der Phasenfeldmethode Ephraim Schoof / Könyv Puha kötésű
common.buy 16 563 Ft
Elfen Lied 11 Lynn Okamoto / Könyv Puha kötésű
common.buy 3 877 Ft
Kaufmann/Kauffrau im E-Commerce. 2. Ausbildungsjahr: Schülerband Nadine Rosenkranz / Könyv Puha kötésű
common.buy 16 191 Ft
Emil Běžec Pavel Kosatík / Hanganyagok Audio CD
common.buy 2 969 Ft
Agriculture Intensive Et Risques Phytosanitaires Binguimalet-A / Könyv Puha kötésű
common.buy 22 844 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés FORMS/FORMAT 2010
Szerző Eckehard Schnieder, Geza Tarnai
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 257
EAN 9783642427169
ISBN 9783642427169
Libristo kód 09069321
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 421
Méretek 155 x 235 x 14

Kategória

Referensz, információ és interdiszciplináris (tudományközi) témák > Kutatás és nformáció: általános jellegű > Információelmélet > Kibernetika és rendszerelmélet
Technológia, mérnöki tudományok, mezőgazdaság > Mechanikai gépészet és anyagok > Termelésgépészet > Megbízhatósági gépészet
Technológia, mérnöki tudományok, mezőgazdaság > Szállítástechnológia és szakmák > Automotív technológia és szakmák
Számítástechnika és információtechnológia > Számítógéptudomány > Komputermodellálás és szimuláció
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Positive Linear Maps of Operator Algebras Erling Stormer / Könyv Puha kötésű
common.buy 48 465 Ft
Colours of Infinity Nigel Lesmoir-Gordon / Könyv Puha kötésű
common.buy 16 967 Ft
Dinomania Boria Sax / Könyv Kemény kötésű
common.buy 10 639 Ft
alieNATION Dianne G. Bystrom / Könyv Puha kötésű
common.buy 17 264 Ft
Bowlful of Laughs Bill Rosen / Könyv Kemény kötésű
common.buy 9 326 Ft
Chinese Lantern Laurence Housman / Könyv Kemény kötésű
common.buy 11 937 Ft
Seed of Love ANNA MARRIOTT / Könyv Kemény kötésű
common.buy 12 116 Ft
Christmas Miracles Jennifer McCormick Williams / Könyv Puha kötésű
common.buy 5 609 Ft
International Women's Prayer Network Pst Prayer M Madueke / Könyv Puha kötésű
common.buy 3 684 Ft
Secondary Ion Mass Spectrometry Fred A. Stevie / Könyv Puha kötésű
common.buy 23 771 Ft
Picnic in the Storm Yukiko Motoya / Könyv Puha kötésű
common.buy 4 399 Ft
Ielts Writing Task 2 Corrections: Most Common Mistakes Students Make and How to Avoid Them (Book 10) Johnny Chuong / Könyv Puha kötésű
common.buy 3 251 Ft
Pussy Riot Eliot Borenstein / Könyv Puha kötésű
common.buy 8 178 Ft
Spatial Statistics Mohammed A. Kalkhan / Könyv Puha kötésű
common.buy 27 484 Ft
Performance Testing Keith Yorkston / Könyv Puha kötésű
common.buy 24 472 Ft
Toplistás
Scp Foundation Artbook Yellow Journal / Könyv Puha kötésű
common.buy 6 178 Ft
Dune: Part Two - 4K UHD Denis Villeneuve / Filmek Blu-ray
common.buy 8 550 Ft
Toplistás
Bluey: Where's Bluey and Bingo? Bluey / Könyv Puha kötésű
common.buy 3 176 Ft
Thorn and the Blade of Shovac Chad Lynch / Könyv Puha kötésű
common.buy 5 985 Ft
Entropy-Based Parameter Estimation in Hydrology Vijay P. Singh / Könyv Puha kötésű
common.buy 60 548 Ft
Italian Ann Radcliffe / Könyv Puha kötésű
common.buy 8 968 Ft
Yeast technology Gerald Reed / Könyv Puha kötésű
common.buy 40 405 Ft
Media and Democracy Everette E. Dennis / Könyv Puha kötésű
common.buy 19 485 Ft
Para Kindred Storm Constantine / Könyv Puha kötésű
common.buy 7 176 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?