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 4 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 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 : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783030763831_new

Contacter le vendeur

Acheter neuf

EUR 94,35

Exp�dition �EUR 13,79
Exp�dition depuis Royaume-Uni 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: 12673 (Lecture Notes in Computer Science, 12673)

Aaron Dutle,Mariano M. Moscato,Laura Titolo,C�sar A. Mu�oz,Ivan Perez

Edit� par Springer 2021-05-17, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783030763831

Contacter le vendeur

Acheter neuf

EUR 93,92

Exp�dition �EUR 17,82
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

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 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 : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783030763831

Contacter le vendeur

Acheter neuf

EUR 116,24

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

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 4 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 fournie par le vendeur

NASA Formal Methods

Aaron Dutle

Edit� par Springer International Publishing, Springer Nature Switzerland Mai 2021, 2021

ISBN 10 : 3030763838 ISBN 13 : 9783030763831

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 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 : 2 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 82,10

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