Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 81,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 74,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 88,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 74,71
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 82,20
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: preigu, Osnabrück, Alemania
EUR 77,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 85,59
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 191,61
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2024th edition NO-PA16APR2015-KAP.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Librería: Revaluation Books, Exeter, Reino Unido
EUR 197,42
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 450 pages. 9.25x6.10x9.21 inches. In Stock.
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer Nature Switzerland Mai 2024, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 85,59
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 110,26
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer, Berlin|Springer Nature Switzerland|Springer, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Librería: moluna, Greven, Alemania
EUR 118,61
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .
Idioma: Inglés
Publicado por Springer, Palgrave Macmillan Mai 2024, 2024
ISBN 10: 3031606973 ISBN 13: 9783031606977
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 139,09
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 464 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 199,07
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 198,12
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.