Get Free Shipping on orders over $0
NASA Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings - Aaron Dutle

NASA Formal Methods

10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings

By: Aaron Dutle (Editor), Cesar Munoz (Editor), Anthony Narkawicz (Editor)

Paperback | 11 March 2018

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.
The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 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.

More in Systems Analysis & Design

Data-driven BIM for Energy Efficient Building Design : 1st Edition - Saeed Banihashemi
Systems Analysis and Design : 12th edition - Harry J. Rosenblatt

RRP $169.95

$137.99

19%
OFF
Business Driven Information Systems ISE : 9th Edition - Paige Baltzan
Spark : The Definitive Guide : Big Data Processing Made Simple - Bill Chambers
The AI Engineering Bootcamp : Build, Ship, Share - Greg Loughnane

RRP $107.95

$75.75

30%
OFF
Linux Pocket Guide : 4th Edition - Essential Commands - Daniel J. Barrett
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
DAMA-DMBOK : Data Management Body of Knowledge - DAMA International

RRP $137.49

$106.75

22%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Tidy First? : A Personal Exercise in Empirical Software Design - Kent Beck