Lecture Notes in Computer Science NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings, Book 14627, (Paperback)
US$33.25
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by www.elektro.com.de
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$33.25
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by www.elektro.com.de
Free 30-day returns Details
Product details
| Management number | 238065814 | Release Date | 2026/07/11 | List Price | US$33.25 | Model Number | 238065814 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
<p>This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.</p> <p>The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.</p>
- Lecture Notes in Computer Science NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings, Book 14627, (Paperback)
- Author: Springer
- ISBN: 9783031606977
- Format: Paperback
- Publication Date: 2024-05-28
- Page Count: 438
| Book format | Paperback |
|---|---|
| Fiction/nonfiction | Non-Fiction |
| Genre | Computing & Internet |
| Publication date | August, 2024 |
| Pages | 438 |
| Subgenre | Software Development & Engineering |
| Series title | Lecture Notes in Computer Science |
| Number in series | 14627 |
| Edition | 2024 Edition |
| Publisher | Springer Nature Switzerland |
| Original languages | English |
| Language | English |
| Edu focus | Robotics |
| Is collectible | N |
| Editor | Nathaniel Benz |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.14 x 0.94 x 9.21 in |
| Assembled product weight | 1.42 lb |
| Bisac subject heading | Computers |
Bestseller ranking
All Books
Customers who viewed this product also viewed
Other Eastern Religions & Sacred Texts
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form