Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

NASA Formal Methods

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

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, May 2024
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on... Full description
? points 360 b
148.68 €
In stock Immediate digital delivery

Customers also purchased

Twenty -sixth of the sheikhdom of Baghdadiya by Abu Taher Al -Salafi Abu Taher Al -Salafi / E-book Adobe ePub DRM
common.buy 13.22 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name NASA Formal Methods
Author Nathaniel Benz, Divya Gopinath, Nija Shi
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2024
EAN 9783031606984
Libristo code 47697499
Publishers Springer

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Supreme Court Review, 2016 Dennis J. Hutchinson / Book Hardback
common.buy 78.17 €
TOP CASES of The FBI - Vol. II Rj Parker Phd / Book Paperback
common.buy 10.29 €
Making Of A Sugar Giant Philippe Chalmin / E-book Adobe ePub DRM
common.buy 79.59 €
Apostles of Mercy Lindsay Ellis / Book Hardback
common.buy 24.64 €
Regenerative Grazing with Goats and Sheep Farmer's Library / Book Paperback
common.buy 14.43 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?