Runtime Verification, Falcone

Автор: Martin Leucker
Название: Runtime Verification
ISBN: 354089246X ISBN-13(EAN): 9783540892465
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

Автор: Bergeron
Название: Verification Methodology Manual for SystemVerilog
ISBN: 0387255389 ISBN-13(EAN): 9780387255385
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: SystemVerilog is a unified language that serves both design and verification engineers by including RTL design constructs, assertions and a rich set of verification constructs. This book is based upon best verification practices by ARM, Synopsys and their customers. It is useful for those involved in the design or verification of a complex chip.

Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha
Название: Formal Approaches to Software Testing and Runtime Verification
ISBN: 3540496998 ISBN-13(EAN): 9783540496991
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Автор: Saddek Bensalem; Doron A. Peled
Название: Runtime Verification
ISBN: 3642046932 ISBN-13(EAN): 9783642046933
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.