Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Safety and Security Manju Nanda
Libristo-Code: 21076127
Verlag Springer Verlag, Singapore, Januar 2019
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Vollständige Beschreibung
? points 268 b
110.76 €
Externes Lager Wir versenden in 8-11 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Demnächst
Arabische Reise Muhammad Asad / Buch Hardcover
common.buy 39.34 €
Nouvelles Recherches Sur La Respiration Des Plantes. Memoire Sur La Corycolurnine Lazare Garreau / Buch Broschur
common.buy 14.35 €
Quando la parti?: Una storia di trasporto, emozioni e capolinea Davide Destradi / Buch Broschur
common.buy 15.26 €
Resumida historia del estado de alarma SALVADOR BELOSO / Buch binding.
common.buy 21.74 €
Raccontami UNA Canzone edoardo pozzi / Buch Broschur
common.buy 20.83 €
TECNICO AUXILIAR GRUPO IV COMUNIDAD MADRID (ACCESO CLAVIJO GAMERO / Buch Broschur
common.buy 21.54 €
Erótico armamento, pólvora en verso Gil Jiménez / Buch Broschur
common.buy 15.67 €
Codex Diplomaticus Neerlandicus Historisch Genootschap / Buch Broschur
common.buy 16.58 €
Zabudnutý vesmír Anton Stiffel / Buch Hardcover
common.buy 13.75 €
Entwicklung des Rustungsexports in Deutschland seit der Wiedervereinigung Lars Plettenberg / Buch Broschur
common.buy 40.15 €
Les Recits Du Capitaine Paul Thomin-L / Buch Broschur
common.buy 25.08 €
Najlepse Pripovetke Jovan Radulovic / Buch Broschur
common.buy 14.66 €

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
Ewa Kasp
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 Buch - Broschur
Datum der Veröffentlichung 2019
Anzahl der Seiten 132
EAN 9789811350542
Libristo-Code 21076127
Verlag Springer Verlag, Singapore
Gewicht 313
Abmessungen 155 x 235 x 8

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

Das könnte Sie auch interessieren

Modeling Uncertainty with Fuzzy Logic Asli Celikyilmaz / Buch Hardcover
common.buy 175.60 €
Political Choices – Essays on State, Resistance and Intellectuals Nirmalangshu Mukherji / Buch Hardcover
common.buy 60.48 €
Life of Birds David Attenborough / Buch Hardcover
common.buy 26.39 €
CCNA Certification Practice Tests: Exam Tbd Buhagiar / Buch Broschur
common.buy 34.38 €
Cult of Carnage: Misery Sabir Pirzada / Buch Broschur
common.buy 22.95 €
Kid's Guide to New York City Eileen Ogintz / Buch Broschur
common.buy 22.14 €
Climate Change Mike Hulme / Buch Hardcover
common.buy 218.39 €
Some Of The Great Preachers Of Wales (1886) Owen Jones / Buch Broschur
common.buy 44.09 €
Jason's Little Black Book: The Perfect Dating Companion for a Handsome Man Named Jason. A secret place for names, phone numbers, and addresses. Wingman Publishing / Buch Broschur
common.buy 8.99 €
Successione Zappa: Controversia Tra la Grecia e la Romania Pasquale Fiore / Buch Broschur
common.buy 22.24 €
Parleremo Vocabulary Supplements - Food & Drink - French Erik Zidowecki / Buch Broschur
common.buy 13.65 €
Les Apparitions Du Chateau de Tarabel ETIE LAMOTHE-LANGON / Buch Hardcover
common.buy 35.19 €
Mathematics for Curriculum Leaders Bill Rawson / Buch Hardcover
common.buy 255.82 €
When London burned; a story of restoration times and the great fire.: With twelve page illus. by J.(Joseph) Finnemore (Born: 1860, Birmingham, United G A Henty / Buch Broschur
common.buy 12.33 €
Democracy Reaches the Kids!: Raising ALL young minds from the ashes of factory schooling George Meegan / Buch Broschur
common.buy 13.65 €
International Encyclopedia of Information and Library Science John Feather / Buch Hardcover
common.buy 407.96 €
Anguilla to Dominica Street M / Buch Broschur
common.buy 18.30 €
Lectures on Resolution of Singularities (AM-166) Janos Kollar / Buch Broschur
common.buy 90.93 €
Forgotten Children Linda A. Pollock / Buch Broschur
common.buy 70.60 €
Popular Politics and Political Culture in Upper Canada, 1800-1850 Carol Wilton / Buch Broschur
common.buy 41.67 €
Great Lakes Fun Book: A Fun and Educational Book on The Great Lakes Jobe Leonard / Buch Broschur
common.buy 10.81 €
Air Power in the Age of Total War John Buckley / Buch Hardcover
common.buy 216.06 €
I've Loved You Before Madison Byers / Buch Broschur
common.buy 24.27 €
50 PIANO CLASSICS 2 E. L. & R LANCASTER / Buch Broschur
common.buy 45.41 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?