NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319175232
Price: 19305 HUF
Availability: InStock

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

Szerző: Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

458

EAN

9783319175232

ISBN

3319175238

Enbook ID

09225659

Kiadó

Springer International Publishing AG

Súly

718

Méretek

155 x 235 x 26

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

NASA Formal Methods

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták