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 Modeling and Analysis of Timed Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeli...
Celý popis
Libristo kód: 13633799
?
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ží
Mohlo by vás také zajímat
/
Brožovaná
741
Kč
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.§§The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.§
Informace o knize
Plný název
Formal Modeling and Analysis of Timed Systems
Autor
Martin Fränzle, Nicolas Markey
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2016
Počet stran
245
EAN
9783319448770
ISBN
3319448773
Libristo kód
13633799
Nakladatelství
Springer International Publishing AG
Váha
3985
Rozměry
155 x 235 x 15
