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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Safety and Security

Name: Formal Methods for Safety and Security
Brand: Springer
SKU: 41332731
Price: 103.69 EUR
Availability: InStock
Author: Manju Nanda
ISBN: 9789811041211

Case Studies for Aerospace Applications

Manju Nanda

Yogananda Jeppu

Sprache

Englisch

E-Book Adobe ePub DRM

Libristo-Code: 41332731

Verlag Springer, November 2017

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

Libristo-Code: 41332731

254 b

103.69 € inkl. MwSt.

Verfügbar Sofort herunterladbar

Kunden kauften auch

Verh ltnis Der T rh ter-Parabel Zum Erz hlkontext in Kafkas Roman Der Proze Tanja Stramiello

Broschur

15.95 €

Askname Sultan Veled

Broschur

8.59 €

Fraseología Jurídica Latina Gómez Royo

Broschur

33.09 €

Lengua,historia y sociedad en andalucia MARTA FERNANDEZ ALCAIDE

Broschur

34.69 €

Das Buch der Natur Hoge Schulz

Broschur

24.79 €

Céline Dion - La femme aux deux visages Elysabeth Reynaud

Broschur

22.29 €

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

Autor Manju Nanda, Yogananda Jeppu

Sprache

Englisch

Einband E-Book - Adobe ePub DRM

Datum der Veröffentlichung 2017

EAN 9789811041211

Libristo-Code 41332731

Verlag Springer

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 > 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