Articoli correlati a NASA Formal Methods: 16th International Symposium,...
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings: 14627 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per NASA Formal Methods: 16th International Symposium,...
Foto dell'editore
Nasa Formal Methods : 16th International Symposium, Nfm 2024, Moffett Field, Ca, USA, June 4?6, 2024, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 47803691
Compra usato
EUR 82,25
Spedizione EUR 2,29
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031606977_new
Compra nuovo
EUR 75,81
Spedizione EUR 14,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Nasa Formal Methods : 16th International Symposium, Nfm 2024, Moffett Field, Ca, USA, June 4?6, 2024, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 47803691-n
Compra nuovo
EUR 89,99
Spedizione EUR 2,29
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Nasa Formal Methods : 16th International Symposium, Nfm 2024, Moffett Field, Ca, USA, June 4?6, 2024, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 47803691-n
Compra nuovo
EUR 75,80
Spedizione EUR 17,54
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Nasa Formal Methods : 16th International Symposium, Nfm 2024, Moffett Field, Ca, USA, June 4?6, 2024, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 47803691
Compra usato
EUR 83,17
Spedizione EUR 17,54
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
NASA Formal Methods
ISBN 10: 3031606973
ISBN 13: 9783031606977
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 464 pp. Englisch. Codice articolo 9783031606977
Compra nuovo
EUR 85,59
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
NASA Formal Methods (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo JSGD4IQXRD
Compra nuovo
EUR 110,26
Spedizione EUR 6,80
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
NASA Formal Methods
Print on DemandDa: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. Delivery takes 20-25 days. Print on Demand. Codice articolo POD-370424
Compra nuovo
EUR 122,26
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
NASA Formal Methods | 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. NASA Formal Methods | 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings | Nathaniel Benz (u. a.) | Taschenbuch | xxiii | Englisch | 2024 | Springer | EAN 9783031606977 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 128966731
Compra nuovo
EUR 77,30
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Editore:
Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031606973
ISBN 13: 9783031606977
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783031606977
Compra nuovo
EUR 85,59
Spedizione EUR 63,49
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili