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 Specification Level, 1
Jazyk
Angličtina
Angličtina
Kniha
Pevná
This book introduces a new level of abstraction that closes the gap between the textual specificatio...
Celý popis
Libristo kód: 02746221
?
304 b
304 b
3 037
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á
1 067
Kč
/
Brožovaná
639
Kč
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the so-called Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.
Informace o knize
Plný název
Formal Specification Level, 1
Autor
Mathias Soeken, Rolf Drechsler
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2014
Počet stran
200
EAN
9783319086989
ISBN
3319086987
Libristo kód
02746221
Nakladatelství
Springer, Berlin
Váha
360
Rozměry
155 x 235 x 14
