NASA Formal Methods

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

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

Autor: Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

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

Informácie o knihe

Autor

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2015

Stránok

458

EAN

9783319175232

ISBN

3319175238

Enbook ID

09225659

Vydavateľ

Springer International Publishing AG

Hmotnosť

718

Rozmery

155 x 235 x 26

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

NASA Formal Methods

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež