Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Rendelés állapotának ellenőrzése

Kapcsolat

NASA Formal Methods

Szerző: Clark Barrett, Misty Davies, Temesghen Kahsai

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 296 Ft

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM...

Információk a könyvről

Szerző

Clark Barrett, Misty Davies, Temesghen Kahsai

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2017

oldal

436

EAN

9783319572871

ISBN

3319572873

Enbook ID

16082821

Kiadó

Springer International Publishing AG

Súly

682

Méretek

155 x 235 x 25

Teljes leírás

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.

The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.