broché. Zustand: Bon.
Anbieter: crealivres, La fontennelle, Frankreich
Zustand: Good. Envoi rapide Bon état légere usure de la couverture intérieur très bon. 15x22x2cm. 1995. Broché. 268 pages. Good.
EUR 15,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
EUR 23,75
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: NEW.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 98,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Pierre Mardaga, Bruxelles, 1985
Anbieter: LibrairieLaLettre2, Villefranche de Lauragais, Frankreich
Broché. Zustand: Etat satisfaisant. in-8 Description :233 pp. Collection "Psychologie et sciences humaines". Tampon sur la 1ère page. Couverture défraichie avec des pliures. Petit accroc sur les coiffes. Langue : Français Nb de volumes : 1.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 43,25
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Italian language. 9.37x6.69x0.47 inches. In Stock.
Taschenbuch. Zustand: Neu. NASA Formal Methods | 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xvi | Englisch | 2021 | Springer | EAN 9783030763831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing, 2021
ISBN 10: 3030763838 ISBN 13: 9783030763831
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030763838 ISBN 13: 9783030763831
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 143,41
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 418 pages. 9.25x6.10x0.86 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 47,30
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 352 pages. Italian language. 8.27x5.91x0.87 inches. In Stock.
Erscheinungsdatum: 1991
Anbieter: Libreria Piani, Monte San Pietro, BO, Italien
Roma, Dip. per l'informazione e l'editoria, 1991, 8vo brossura con copertina illustrata, pp. 174. Prefazione di T. Anselmi. Ottimo stato.