Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Bücher auf Englisch > Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Variationsrechnung > Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Name: Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Brand: Springer Verlag, Singapore
SKU: 15853291
Price: 106.19 EUR
Availability: InStock
Author: Manju Nanda
ISBN: 9789811041204

Manju Nanda

Yogananda Jeppu

Sprache

Englisch

Buch Hardcover

Libristo-Code: 15853291

Verlag Springer Verlag, Singapore, Juli 2017

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Vollständige Beschreibung

Libristo-Code: 15853291

260 b

106.19 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Petite Mionne: Les Drames de la Vie. Madame Joramie RICHEBOURG-E

Broschur

24.89 €

Penser les formes filmiques contemporaines Deville

Buch

28.89 €

Formentera - Karibik im Mittelmeer (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Kalender

24.99 €

Złotowłosa Wojciech Chmielarz

Broschur

8.49 €

Hopfen & Himmel Ludwig Waldmüller

Hardcover

19.95 €

Po sezoně Jack Ketchum

Broschur

10.99 €

Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý

Hardcover

59.00 €

Monte Dolciano Swidler Uli T.

Broschur

6.39 €

Kals-Heiligenblut-Matrei-Lienz (WK181)

Karte

10.69 €

Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher

Broschur

14.00 €

Die Archetypen und das kollektive Unbewusste Carl G. Jung

Broschur

48.00 €

Matthäus Passion BWV 244, 3 Super-Audio-CDs (hybrid / Limited Deluxe Edition) Johann Sebastian Bach

Audio CD

39.99 €

Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade

Broschur

15.69 €

Sirius B - Abenteuer in neuen Welten und fremden Galaxien Conny Reinhard

Broschur

4.99 €

La regina delle nevi e altri racconti H. Christian Andersen

Broschur

23.79 €

Chefs-d'Oeuvre Tome 2 Corneille-T

Broschur

13.09 €

Die Demokratie Michel Zobi

Broschur

39.90 €

Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter

Hardcover

7.99 €

Divoké rostliny Celie Nentwig

Hardcover

13.99 €

Die Schöne und das Biest 1-3, 3 DVDs John Carnochan Daniel Lee

DVD

15.89 €

Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art Marius Paulme

Broschur

11.49 €

Los cuentos de así fue Rudyard Kipling

Broschur

13.09 €

THEME FROM "STAR TREK(R)" ENSEMBLE DE CUIVRES ALEXANDER COURAGE Buch

binding.

21.79 €

Storie piccine per i piccolissimi Tony Wolf

Leporello

9.19 €

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 in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Autor Manju Nanda, Yogananda Jeppu

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2017

Anzahl der Seiten 132

EAN 9789811041204

ISBN 9811041202

Libristo-Code 15853291

Verlag Springer Verlag, Singapore

Gewicht 3697

Abmessungen 155 x 235 x 12

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Variationsrechnung

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Maschinenbau und Werkstoffe > Fertigungstechnik und Ingenieurwesen > Zuverlässigkeitstechnik

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Andere Technologien und verwandte Wissenschaften > Weltraumforschung > Astronautik (Raumfahrttechnik)

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Verkehrstechnik und Transportwesen > Luft- und Raumfahrttechnik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert