Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Language EnglishEnglish
Book Paperback
Book Formal Methods for Safety and Security Manju Nanda
Libristo code: 21076127
Publishers Springer Verlag, Singapore, January 2019
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Full description
? points 283 b
116.15 €
227.17  лв
In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Dieu.e - christianisme, sexualité et féminisme Anne GUILLARD / Book Paperback
common.buy 26.29 € 51.41 лв
Entwicklung des Rustungsexports in Deutschland seit der Wiedervereinigung Lars Plettenberg / Book Paperback
common.buy 42.26 € 82.65 лв
La musique adoucit les morts Renoir / Book Paperback
common.buy 4.67 € 9.13 лв
Llobató, llibre sons animals de la granja ORIANNE LALLEMAND / Book Book
common.buy 11.34 € 22.19 лв
Resumida historia del estado de alarma SALVADOR BELOSO / Book binding.
common.buy 22.74 € 44.48 лв
Arabische Reise Muhammad Asad / Book Hardback
common.buy 41.28 € 80.74 лв
Quando la parti?: Una storia di trasporto, emozioni e capolinea Davide Destradi / Book Paperback
common.buy 14.84 € 29.02 лв
Als Spanien die Welt beherrschte Peter-Matthias Gaede / Book Paperback
common.buy 13.09 € 25.60 лв
Les Recits Du Capitaine Paul Thomin-L / Book Paperback
common.buy 24.03 € 46.99 лв
TECNICO AUXILIAR GRUPO IV COMUNIDAD MADRID (ACCESO CLAVIJO GAMERO / Book Paperback
common.buy 22.18 € 43.38 лв
Estoicismo y dureza mental Tbd / Book Paperback
common.buy 12.01 € 23.49 лв
Opfer - TaeterInnen - Theaterpublikum Brod Anna Brod / E-book Adobe ePub DRM
common.buy 77.87 € 152.31 лв
Najlepse Pripovetke Jovan Radulovic / Book Paperback
common.buy 14.22 € 27.81 лв
Raccontami UNA Canzone edoardo pozzi / Book Paperback
common.buy 16.79 € 32.83 лв
Hausverbot Erhard Schümmelfeder / Book Paperback
common.buy 10.21 € 19.98 лв
GAVA CAMPMANY / Book Paperback
common.buy 14.17 € 27.71 лв
Erótico armamento, pólvora en verso Gil Jiménez / Book Paperback
common.buy 16.22 € 31.73 лв
El secreto de la hierba MELERO / Book Paperback
common.buy 27.31 € 53.42 лв
Folge 085:Die Hundebabys Jutta Buschenhagen / Audio Audio CD
common.buy 11.40 € 22.30 лв
Nouvelles Recherches Sur La Respiration Des Plantes. Memoire Sur La Corycolurnine Lazare Garreau / Book Paperback
common.buy 13.91 € 27.21 лв
Zabudnutý vesmír Anton Stiffel / Book Hardback
common.buy 14.63 € 28.61 лв
Codex Diplomaticus Neerlandicus Historisch Genootschap / Book Paperback
common.buy 15.86 € 31.02 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Safety and Security
Author Manju Nanda, Yogananda Jeppu
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 132
EAN 9789811350542
Libristo code 21076127
Publishers Springer Verlag, Singapore
Weight 313
Dimensions 155 x 235 x 8

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Calculus of variations
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Reliability engineering
Technology, Engineering, Agriculture > Transport technology & trades > Aerospace & aviation technology
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

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 / Book Paperback
common.buy 8.67 € 16.96 лв
The Chronicles of BALTRATH: The DARK WIZARDS Gary Kuyper / Book Paperback
common.buy 16.02 € 31.33 лв
Salton Sea Lake Fun Book: A Fun and Educational Book About Salton Sea Lake Jobe Leonard / Book Paperback
common.buy 6.88 € 13.45 лв
Great Lakes Fun Book: A Fun and Educational Book on The Great Lakes Jobe Leonard / Book Paperback
common.buy 10.52 € 20.58 лв
Democracy Reaches the Kids!: Raising ALL young minds from the ashes of factory schooling George Meegan / Book Paperback
common.buy 13.19 € 25.80 лв
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 / Book Paperback
common.buy 11.91 € 23.29 лв
Mathematics for Curriculum Leaders Bill Rawson / Book Hardback
common.buy 284.94 € 557.29 лв
Les Apparitions Du Chateau de Tarabel ETIE LAMOTHE-LANGON / Book Hardback
common.buy 34.14 € 66.78 лв
Top
My Hero Academia, Vol. 17 Kohei Horikoshi / Book Paperback
common.buy 9.24 € 18.07 лв
Parleremo Vocabulary Supplements - Food & Drink - French Erik Zidowecki / Book Paperback
common.buy 13.19 € 25.80 лв
Successione Zappa: Controversia Tra la Grecia e la Romania Pasquale Fiore / Book Paperback
common.buy 21.61 € 42.27 лв
Sententiae Pueriles, Anglo Latinae. Quae Diversis Authoribus Olim = Sentences for Children, English and Latin. Collected out of Sundry Authors Long Si LEONHARD CULMANN / Book Hardback
common.buy 30.34 € 59.35 лв
Some Of The Great Preachers Of Wales (1886) Owen Jones / Book Paperback
common.buy 42.87 € 83.85 лв
Adventures in Contentment David Grayson / Book Paperback
common.buy 29.37 € 57.44 лв
Climate Change Mike Hulme / Book Hardback
common.buy 249.40 € 487.79 лв
Southern Comfort from Me Peterson Roy E. Peterson / Book Paperback
common.buy 15.09 € 29.52 лв
Octopus Coloring book for Kids Doran Snee / Book Paperback
common.buy 8.83 € 17.26 лв
Kid's Guide to New York City Eileen Ogintz / Book Paperback
common.buy 18.07 € 35.34 лв
Cult of Carnage: Misery Sabir Pirzada / Book Paperback
common.buy 19.15 € 37.45 лв
CCNA Certification Practice Tests: Exam Tbd Buhagiar / Book Paperback
common.buy 37.17 € 72.70 лв
Top
Life of Birds David Attenborough / Book Hardback
common.buy 27.98 € 54.73 лв
Political Choices – Essays on State, Resistance and Intellectuals Nirmalangshu Mukherji / Book Hardback
common.buy 59.30 € 115.99 лв
The Lies that Summon the Night / Book Paperback
common.buy 15.40 € 30.12 лв
Gnomes of the Night Arthur N. Bragg / Book Hardback
common.buy 112.86 € 220.74 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?