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 64 Kč
PPL 99 Kč
Zásilkovna 54 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 64 Kč
PPL 99 Kč
Zásilkovna 54 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
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book focuses on the use of formal methods in order to guarantee the correctness of real-time sy...
Celý popis
Libristo kód: 08746908
?
205 b
205 b
2 054
Kč
Skladem u dodavatele
Odesíláme za 14-18 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
1 830
Kč
This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-tim
Informace o knize
Plný název
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Autor
Georgios Logothetis
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2004
Počet stran
202
EAN
9781586034139
ISBN
9781586034139
Libristo kód
08746908
Nakladatelství
IOS PRESS
Váha
300
Rozměry
148 x 210 x 10
