Home/Producten/NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual…

Beschrijving

Over dit product

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.

Boekdetails

Serie
Lecture Notes in Computer Science
Ondertitel
Lecture Notes in Computer Science
Formaat
Paperback / softback
Uitgever
Springer Nature Switzerland AG
Imprint
Springer Nature Switzerland AG
Auteur
Aaron Dutle || Mariano M. Moscato || Laura Titolo || César A. Muñoz || Ivan Perez, Springer Nature Switzerland AG, Springer Nature Switzerland AG
ISBN-13
9783030763831
Verschijningsdatum
2021-05-17
Editie
1st ed. 2021
Afmetingen
155 mm × 235 mm
Land van herkomst
NL

Waarom je dit mooi vindt

  • Premium kwaliteit, zorgvuldig geselecteerd
  • Snelle levering, morgen in huis
  • Eenvoudig retourneren binnen 30 dagen
  • Veilig betalen via iDEAL of Klarna

Paperback / softback

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

door Aaron Dutle || Mariano M. Moscato || Laura Titolo || César A. Muñoz || Ivan Perez

€ 120,16
Op voorraad14 werkdagen
Gratis verzending30 dagen bedenktijd
1

Gratis verzending

vanaf €20

30 dagen retour

zonder gedoe

Veilig betalen via iDEAL of Klarna

iDEAL · Klarna

Thuiswinkel Waarborg

MYBOEKEN

  • Algemene voorwaarden
  • Bedrijfsgegevens
  • Over Myboeken
  • Keurmerk
  • Klantenservice
  • Contact
  • Privacy
  • Gids
  • Volg bestelling

INFORMATIE

  • Bestellen
  • Bezorgen
  • Betalen
  • Retour
  • Veelgestelde vragen
  • Garantie & Klachten
  • Zakelijke bestellingen
  • Blogs

CONTACT

Effect 4, 6921 RV Duiven
026-2074646
10:00 – 16:00
[email protected]
0638045945

Nieuwsbrief

Ontvang de beste aanbiedingen en tips

PAYMENT

Bancontact
Direct bank
iDEAL
Klarna
PayPal
SOFORT
Visa

VOLG ONS

Strips & MangaKunst & fotografieKinderboekenStudie & WetenschapLevensstijlOverige
Thuiswinkel Waarborg
myboeken.nl

Myboeken is dé online boekwinkel voor zorgvuldig geselecteerde boeken. Snelle levering in Nederland & Europa.

PrivacyAlgemene Voorwaarden
© 2026 MYBOEKEN
myboeken.nl
BestsellersOfferteAanbiedingen
0
CategorieënBestsellersOfferteAanbiedingen

Populaire zoekopdrachten

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

9780544445789

Snel naar

Nieuwe releasestrending-on-tiktokCadeau-ideeën

Trending now

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

Newey, Adrian

The Science of Animals: Inside their Secret World

The Science of Animals: Inside their Secret World

DK

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

Ride: Cycle the World

Ride: Cycle the World

DK Travel

0
Home
0
Cart

Aanbevolen

Misschien vind je dit ook leuk

Bekijk meer
Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1 – The Perfect Gift for Puzzlers and Cosy Crime Fans!

Garand, M.

Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1 – The Perfect Gift for Puzzlers and Cosy Crime Fans!

€ 22,50

Chanel: Collections and Creations

Danièle Bott

Chanel: Collections and Creations

€ 32,40

Japan: The Cookbook (Cucina)

Hachisu, Nancy Singleton

Japan: The Cookbook (Cucina)

€ 40,50

The World Atlas of Coffee: 2nd edition (old edition)

James Hoffmann

The World Atlas of Coffee: 2nd edition (old edition)

€ 25,20

National Geographic Stunning Photographs

Annie Griffiths

National Geographic Stunning Photographs

€ 30,60

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

€ 37,80

Louis Vuitton: A Perfume Atlas

Jacques Cavallier-Belletrud || Lionel Paillès || Aurore de la Morinerie

Louis Vuitton: A Perfume Atlas

€ 130,50

Ride: Cycle the World

DK Travel

Ride: Cycle the World

€ 20,70

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

Sarah J. Maas

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

€ 18,00

The Science of Animals: Inside their Secret World

DK

The Science of Animals: Inside their Secret World

€ 28,80

Serie & gerelateerd

Meer over Lecture

Bekijk meer
The Last Lecture Rough Cut

Pausch, Randy

The Last Lecture Rough Cut

€ 24,11

A Lecture To Young Men On The Preservation Of Health, By A Graduate

Lecture

A Lecture To Young Men On The Preservation Of Health, By A Graduate

€ 26,71

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

Scott S Chandler

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

€ 22,87

Prohibition Bombs V1, January, 1886 To April, 1886: Tracts For The Times (1886)

Prohibition Lecture Bureau

Prohibition Bombs V1, January, 1886 To April, 1886: Tracts For The Times (1886)

€ 45,17

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

Carnet Lecture

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

€ 18,00

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

Livres Lecture

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

€ 18,00

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

Cadeau Lecture

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

€ 18,00

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

Cadeau Lecture

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

€ 18,00

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

P'Tite Lecture

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

€ 22,44

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

P'Tite Lecture

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

€ 24,12