Paperback (08 Jun 2025)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.
| ISBN: | 9783031937057 |
| Publisher: | Springer Nature Switzerland |
| Imprint: | Springer |
| Pub date: | 08 Jun 2025 |
| DEWEY: | 004.0151 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 442 |
| Weight: | -1g |
| Height: | 235mm |
| Width: | 155mm |
$2.79off
Software Development Pearls
Paperback
Published 06 Oct 2021
Save $2.79
$1.26off
The Pragmatic Programmer
Hardback
Published 02 Dec 2019
Save $1.26
$14.07off
97 Things Every Java Programmer...
Paperback
Published 02 Jun 2020
Save $14.07
$0.73off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $0.73
$13.33off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.33
$16.46off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.46
$4.86off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.86
$19.32off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $19.32
$17.48off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $17.48
$72.89off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $72.89