Könyv NASA Formal Methods Clark Barrett

NASA Formal Methods

Nyelv: Angol
Kötés: Puha kötésű
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

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
436
EAN
9783319572871
ISBN
3319572873
Enbook ID
16082821
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.

Érdekelheti

What Was Not Said

Sean M Teaford
4 562 Ft

Rail-Trails Illinois, Indiana, & Ohio

Rails-To-Trails Conservancy
12 391 Ft
3 495 Ft

Busing Brewster

Richard Michelson
6 251 Ft

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

Protagoras

Platón
367 Ft