NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319175232
Price: 277.38 RON
Availability: InStock

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

Autor: Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

458

EAN

9783319175232

ISBN

3319175238

Enbook ID

09225659

Editura

Springer International Publishing AG

Greutate

718

Dimensiuni

155 x 235 x 26

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

NASA Formal Methods

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și