Paperback (03 Jun 2023)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.
The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.| ISBN: | 9783031331695 |
| Publisher: | Springer Nature Switzerland |
| Imprint: | Springer |
| Pub date: | 03 Jun 2023 |
| DEWEY: | 004.0151 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 490 |
| Weight: | 717g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 26mm |
$14.55off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $14.55
$9.65off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $9.65
$13.03off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.03
$16.10off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.10
$4.75off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.75
$17.89off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $17.89
$16.26off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $16.26
$71.28off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $71.28
$3.91off
Robert Read's How To Be A Progr...
Paperback
Published 02 Oct 2009
Save $3.91