NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319175232
Price: 212.42 PLN
Availability: InStock

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

Autor: Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2015

strony

458

EAN

9783319175232

ISBN

3319175238

Enbook ID

09225659

Wydawca

Springer International Publishing AG

Waga

718

Wymiary

155 x 235 x 26

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

NASA Formal Methods

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również