NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319175232
Price: 1147 CZK
Availability: InStock

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

Autor: Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2015

Stránek

458

EAN

9783319175232

ISBN

3319175238

Enbook ID

09225659

Vydavatel

Springer International Publishing AG

Hmotnost

718

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

NASA Formal Methods

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také