Formal Methods for Safety and Security

Case Studies for Aerospace Applications (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those...
lieferbar
versandkostenfrei

Bestellnummer: 83688473

Buch 117.69
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 83688473

Buch 117.69
In den Warenkorb
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those...
Andere Kunden interessierten sich auch für
eBook

Statt 117.69 19

106.99

Download bestellen
Erschienen am 09.11.2017
sofort als Download lieferbar

Initial Airworthiness

Guy Gratton

0 Sterne
Buch

171.19

In den Warenkorb
Erschienen am 09.05.2018
lieferbar
Buch

379.99

In den Warenkorb
Erschienen am 06.05.2011
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 04.06.2022
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 30.08.2014
lieferbar
Buch

219.99

In den Warenkorb
Erschienen am 08.05.2015
lieferbar
Buch

16.04

In den Warenkorb
Erschienen am 06.03.2019
lieferbar
Buch

249.99

In den Warenkorb
Erschienen am 24.04.2012
lieferbar
Buch

229.99

In den Warenkorb
Erschienen am 30.09.2014
lieferbar

Satellite Formation Flying

Danwei Wang, Baolin Wu, Eng Kee Poh

0 Sterne
Buch

149.79

In den Warenkorb
Erschienen am 02.11.2016
lieferbar
Buch

427.99

In den Warenkorb
Erschienen am 22.09.2012
lieferbar
Buch

192.59

In den Warenkorb
Erschienen am 08.06.2017
lieferbar
Buch

106.99

In den Warenkorb
lieferbar

Fast Solar Sailing

Giovanni Vulpetti

0 Sterne
Buch

160.49

In den Warenkorb
lieferbar
Buch

299.59

In den Warenkorb
Erschienen am 11.04.2012
lieferbar
Buch

362.73

In den Warenkorb
Erschienen am 30.09.2009
lieferbar
Buch

249.99

In den Warenkorb
Erschienen am 03.04.2009
lieferbar

Einführung in die DEMAR

Martin Hinsch, Andreas Klarner, Caroline Berlinger

0 Sterne
Buch

79.99

Vorbestellen
Erscheint am 11.12.2022
Buch

160.49

In den Warenkorb
Erschienen am 02.08.2012
lieferbar
Kommentar zu "Formal Methods for Safety and Security"
Andere Kunden kauften auch

Initial Airworthiness

Guy Gratton

0 Sterne
Buch

171.19

In den Warenkorb
Erschienen am 09.05.2018
lieferbar
Buch

379.99

In den Warenkorb
Erschienen am 06.05.2011
lieferbar
Buch

89.99

In den Warenkorb
Erschienen am 04.06.2022
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 30.08.2014
lieferbar
Buch

320.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar
Buch

219.99

In den Warenkorb
Erschienen am 08.05.2015
lieferbar
Buch

16.04

In den Warenkorb
Erschienen am 06.03.2019
lieferbar
Buch

249.99

In den Warenkorb
Erschienen am 24.04.2012
lieferbar
Buch

229.99

In den Warenkorb
Erschienen am 30.09.2014
lieferbar

Satellite Formation Flying

Danwei Wang, Baolin Wu, Eng Kee Poh

0 Sterne
Buch

149.79

In den Warenkorb
Erschienen am 02.11.2016
lieferbar

Industrial Neuroscience in Aviation

Gianluca Borghini, Pietro Aricò, Gianluca Di Flumeri

0 Sterne
Buch

128.39

In den Warenkorb
Erschienen am 15.09.2017
lieferbar
Buch

427.99

In den Warenkorb
Erschienen am 22.09.2012
lieferbar
Buch

192.59

In den Warenkorb
Erschienen am 08.06.2017
lieferbar
Buch

106.99

In den Warenkorb
lieferbar

Fast Solar Sailing

Giovanni Vulpetti

0 Sterne
Buch

160.49

In den Warenkorb
lieferbar
Buch

299.59

In den Warenkorb
Erschienen am 11.04.2012
lieferbar
Buch

362.73

In den Warenkorb
Erschienen am 30.09.2009
lieferbar
Buch

249.99

In den Warenkorb
Erschienen am 03.04.2009
lieferbar
0 Gebrauchte Artikel zu „Formal Methods for Safety and Security“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich