Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Knihy - Springer International Publishing AG - 9783319086989 - 28. novembra 2014
V prípade, že obal a názov nesedia, platí názov

Mathias Soeken
Formal Specification Level: Concepts, Methods, and Algorithms 2015 edition

Cena
€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 16. - 24. júl

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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 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.

138 pages, 87 black & white illustrations, 6 black & white tables, biography

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 28. novembra 2014
ISBN13 9783319086989
Vydavatelia Springer International Publishing AG
Strany 138
Rozmery 155 × 235 × 10 mm   ·   385 g
Jazyk Angličtina  

Mere med samme udgiver

Pozrieť všetko od Mathias Soeken ( napr. Hardcover Book a Paperback Book )