Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Książki - Springer International Publishing AG - 9783319086989 - 28 listopada 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 421,90

Zamówione z odległego magazynu

Przewidywana dostawa 11 - 19 lis
Świąteczne prezenty można zwracać do 31 stycznia
Otrzymuj powiadomienia o nowych wydawnictwach Mathias Soeken

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 28 listopada 2014
ISBN13 9783319086989
Wydawcy Springer International Publishing AG
Strony 138
Wymiary 155 × 235 × 10 mm   ·   385 g
Język Angielski  

Więcej od tego samego wydawcy

Zobacz wszystko od Mathias Soeken