NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319175232
Price: 52.72 EUR
Availability: InStock

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Автор: Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.72 € 103.11 лв

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Met...

Информация за книгата

Автор

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Език

Английски език

Корици

Книга - С меки корици

Издадена

2015

страници

458

EAN

9783319175232

ISBN

3319175238

Enbook ID

09225659

Издател

Springer International Publishing AG

Теглоt

718

Размери

155 x 235 x 26

Пълно описание

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2014, held in Pasadena, CA, USA, April 27-29, 2015.§The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също