Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Formal Techniques for Safety-Critical Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Technique...
Celý popis
Libristo kód: 02893193
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. §The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
Informace o knize
Plný název
Formal Techniques for Safety-Critical Systems
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2016
Počet stran
271
EAN
9783319295091
ISBN
3319295098
Libristo kód
02893193
Nakladatelství
Springer International Publishing AG
Váha
4336
Rozměry
155 x 235 x 15
Kategorie
Výpočetní a informační technologie
>
Informatika
>
Interakce člověk – počítač
>
Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie
>
Grafické a digitální mediální aplikace
>
Počítačová 3D grafika a modelování
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Překladače a interpretry
Výpočetní a informační technologie
>
Počítačové programování/softwarové inženýrství
>
Programovací a skriptovací jazyky: obecně
