Get Free Shipping on orders over $89
Lecture Notes in Computer Science : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4â"6, 2024, Proceedings - Divya Gopinath
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4â"6, 2024, Proceedings

By: Divya Gopinath (Editor), Nija Shi (Editor), Nathaniel Benz (Editor)

Paperback | 28 June 2024

At a Glance

Paperback


RRP $129.00

$128.75

or 4 interest-free payments of $32.19 with

 or 

Ships in 5 to 7 business days

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.



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.

More in Artificial Intelligence

Empire of AI : Inside the reckless race for total domination - Karen Hao
AI ChatBots For Dummies : For Dummies (Computer/Tech) - Kelly Noble Mirabella