Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - Boeken - Springer International Publishing AG - 9783319086989 - 28 november 2014
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 97,99

Besteld in een afgelegen magazijn

Verwachte levering 11 - 19 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 28 november 2014
ISBN13 9783319086989
Uitgevers Springer International Publishing AG
Pagina's 138
Afmetingen 155 × 235 × 10 mm   ·   385 g
Taal en grammatica Engels  

Mere med samme udgiver

Bekijk alles van Mathias Soeken ( bijv. Hardcover Book en Paperback Book )