Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Professional & Technical > Transport technology > Aerospace & aviation technology

Buy Now

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed. 2021) Loot Price: R2,460
Discovery Miles 24 600
Repayment Terms: R231 pm x 12*
Add to cart
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed....

NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Paperback, 1st ed. 2021)

Aaron Dutle, Mariano M. Moscato, Laura Titolo, Cesar A. Munoz, Ivan Perez

Series: Lecture Notes in Computer Science, 12673

 (sign in to rate)
Loot Price R2,460 Discovery Miles 24 600 | Repayment Terms: R231 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 12673
Release date: May 2021
First published: 2021
Editors: Aaron Dutle • Mariano M. Moscato • Laura Titolo • Cesar A. Munoz • Ivan Perez
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 402
Edition: 1st ed. 2021
ISBN-13: 978-3-03-076383-1
Categories: Books > Professional & Technical > Transport technology > Aerospace & aviation technology > General
Promotions
LSN: 3-03-076383-8
Barcode: 9783030763831

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Secrets From The Cockpit - Pilots Behaving Badly And Other Flying Stories (Paperback): Robert Schapiro
Secrets From The Cockpit - Pilots…
Robert Schapiro Paperback R295 R264 Discovery Miles 2 640
The Scholarship Kids - Dream Big, Fly High (Paperback): Robert Gentle
The Scholarship Kids - Dream Big, Fly…
Robert Gentle Paperback R349 Discovery Miles 3 490
The End Of Reality - How 4 Billionaires Are Selling A Fantasy Future Of The Metaverse, Mars And Crypto (Paperback): Jonathan...
The End Of Reality - How 4 Billionaires…
Jonathan Taplin Paperback R440 R393 Discovery Miles 3 930
Air Law - A Comprehensive Sourcebook for Southern African pilots (Paperback): Philippe-Joseph Salazar
Air Law - A Comprehensive Sourcebook for…
Philippe-Joseph Salazar Paperback R925 R820 Discovery Miles 8 200
Nonlinear Kalman Filter for Multi-Sensor Navigation of Unmanned Aerial Vehicles - Application to Guidance and Navigation of...
Nonlinear Kalman Filter for Multi-Sensor…
Jean-Philippe Condomines Hardcover R2,578 Discovery Miles 25 780
Sustainable Composites for Aerospace Applications (Paperback): Mohammad Jawaid, Mohamed Thariq
Sustainable Composites for Aerospace…
Mohammad Jawaid, Mohamed Thariq Paperback R5,181 R4,799 Discovery Miles 47 990
Infrared Thermography in the Evaluation of Aerospace Composite Materials - Infrared Thermography to Composites (Hardcover):...
Infrared Thermography in the Evaluation…
Carosena Meola, Simone Boccardi, … Hardcover R3,497 Discovery Miles 34 970
Flight Dynamics and System Identification for Modern Feedback Control - Avian-Inspired Robots (Hardcover, New): Jared A....
Flight Dynamics and System…
Jared A. Grauer, James E. Hubbard Jr. Hardcover R3,061 Discovery Miles 30 610
Mems for Automotive and Aerospace Applications (Hardcover, New): Michael Kraft, Neil M. White
Mems for Automotive and Aerospace…
Michael Kraft, Neil M. White Hardcover R4,041 Discovery Miles 40 410
Compressibility, Turbulence and High Speed Flow (Hardcover, 2nd edition): Thomas B. Gatski, Jean-Paul Bonnet
Compressibility, Turbulence and High…
Thomas B. Gatski, Jean-Paul Bonnet Hardcover R2,266 Discovery Miles 22 660
Welding and Joining of Aerospace Materials (Hardcover, New): Mahesh Chaturvedi
Welding and Joining of Aerospace…
Mahesh Chaturvedi Hardcover R4,937 Discovery Miles 49 370
Orbital Mechanics and Formation Flying - A Digital Control Perspective (Hardcover, New): Pedro A. Capo-Lugo, P.M. Bainum
Orbital Mechanics and Formation Flying…
Pedro A. Capo-Lugo, P.M. Bainum Hardcover R4,342 Discovery Miles 43 420

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners