NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings - Couverture souple

Livre 108 sur 129: Lecture Notes in Computer Science

9783030763831: NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Couverture souple

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Editeur : Springer, 2021

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

11 Neuf

De EUR 74,24

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2021
Langue: anglais
ISBN 10: 3030763838
ISBN 13: 9783030763831
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 420
�diteur: Dutle Aaron, Moscato Mariano M., Titolo Laura, Mu�oz C�sar A., Perez Ivan
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

R�sultats de recherche pour NASA Formal Methods: 13th International Symposium,...

Image d'archives

NASA Formal Methods (eng)

Dutle, Aaron

Edit� par Springer, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 3 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur 3HSWQYD3AC

Contacter le vendeur

Acheter neuf

EUR 74,24

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

NASA Formal Methods

Aaron Dutle

Edit� par Springer International Publishing Mai 2021, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 420 pp. Englisch. N� de r�f. du vendeur 9783030763831

Contacter le vendeur

Acheter neuf

EUR 90,94

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

NASA Formal Methods

Edit� par Springer International Publishing, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 p. N� de r�f. du vendeur 466231079

Contacter le vendeur

Acheter neuf

EUR 79,10

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24?28, 2021, Proceedings (Programming and Software Engineering)

Edit� par Springer, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 26384726758

Contacter le vendeur

Acheter neuf

EUR 125,52

Exp�dition �EUR 3,45
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24?28, 2021, Proceedings (Programming and Software Engineering)

Edit� par Springer, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18384726764

Contacter le vendeur

Acheter neuf

EUR 119,12

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24?28, 2021, Proceedings (Programming and Software Engineering)

Edit� par Springer, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 379177273

Contacter le vendeur

Acheter neuf

EUR 128,42

Exp�dition �EUR 7,53
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

NASA Formal Methods

Aaron Dutle

Edit� par Springer, Palgrave Macmillan Mai 2021, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch. N� de r�f. du vendeur 9783030763831

Contacter le vendeur

Acheter neuf

EUR 90,94

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

NASA Formal Methods | 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

Aaron Dutle (u. a.)

Edit� par Springer, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 81,70

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24�28, 2021, Proceedings

Aaron Dutle

Edit� par Springer International Publishing, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9783030763831

Contacter le vendeur