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 Hardback
Book Formal Methods for Safety and Security: Case Studies for Aerospace Applications Manju Nanda
Libristo code: 15853291
Publishers Springer Verlag, Singapore, July 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Full description
? points 308 b
126.63 €
247.66  лв
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Quaderno di compiti delle vacanze per adulti Daniel López Valle / Book Paperback
common.buy 15.45 € 30.22 лв
Matthäus Passion BWV 244, 3 Super-Audio-CDs (hybrid / Limited Deluxe Edition) Johann Sebastian Bach / Audio Audio CD
common.buy 45.46 € 88.91 лв
Das große Michael-Ende-Vorlesebuch Michael Ende / Book Hardback
common.buy 17.09 € 33.43 лв
The complete Calvin & Hobbes Bill Watterson / Book Hardback
common.buy 32.24 € 63.06 лв
Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý / Book Hardback
common.buy 58.38 € 114.18 лв
Po sezoně Jack Ketchum / Book Paperback
common.buy 13.24 € 25.90 лв
Die Archetypen und das kollektive Unbewusste Carl G. Jung / Book Paperback
common.buy 45.03 € 88.07 лв
Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Book Paperback
common.buy 14.84 € 29.02 лв
La Filosofia Greca Nella Giurisprudenza Romana: Prolusione a Un Corso Libero D'istituzioni Di Diritto Romano Nell'universit? Di Parma ... Emilio Costa / Book Paperback
common.buy 14.89 € 29.12 лв
Złotowłosa Wojciech Chmielarz / Book Paperback
common.buy 11.86 € 23.19 лв
Monte Dolciano Swidler Uli T. / Book Paperback
common.buy 7.49 € 14.65 лв
Divoké rostliny Celie Nentwig / Book Hardback
common.buy 18.58 € 36.35 лв

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: Case Studies for Aerospace Applications
Author Manju Nanda, Yogananda Jeppu
Language English
Binding Book - Hardback
Date of issue 2017
Number of pages 132
EAN 9789811041204
ISBN 9811041202
Libristo code 15853291
Publishers Springer Verlag, Singapore
Weight 3697
Dimensions 155 x 235 x 12

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Calculus of variations
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Reliability engineering
Technology, Engineering, Agriculture > Other technologies & applied sciences > Space science > Astronautics
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

Sustainable Plantation Forestry Herman Hidayat / Book Hardback
common.buy 107.78 € 210.80 лв
Animal Handling and Physical Restraint CHASTAIN / Book Hardback
common.buy 305.02 € 596.56 лв
Jim Corbett, Master of the Jungle Tim Werling / Book Hardback
common.buy 32.81 € 64.17 лв
Extra Mile - A Story of Embracing God`s Call BROWN SHARON GARLOU / Book Paperback
common.buy 19.10 € 37.35 лв
Anticipation, Agency and Complexity Roberto Poli / Book Hardback
common.buy 150.76 € 294.86 лв
Anatomy of Mass Media Dianah Wynter / Book Hardback
common.buy 333.36 € 652.00 лв
Hard Facts of the Grimms' Fairy Tales Maria Tatar / Book Paperback
common.buy 18.33 € 35.84 лв
Synoptical Firing of Electrical Complexity EVAN AMRHEIN / Book Paperback
common.buy 14.89 € 29.12 лв
Blood Brothers Deanne Stillman / Book Paperback
common.buy 13.45 € 26.30 лв
HIV & AIDS And The Older Adult Kathleen M. Nokes / Book Hardback
common.buy 150.91 € 295.16 лв
EDGE: I HERO: Monster Hunter: Alien Steve Skidmore / Book Paperback
common.buy 8.01 € 15.66 лв
Maneki-Neko: Kei, The Lucky Cat of Harajuku Nicole Russin / Book Paperback
common.buy 16.02 € 31.33 лв
Top
Sorcery of Thorns Margaret Rogerson / Book Hardback
common.buy 15.81 € 30.92 лв
Caesar Henry Peterson / Book Paperback
common.buy 13.19 € 25.80 лв
Spelling Activity Book 2 Abigail Steel / Book Paperback
common.buy 5.23 € 10.23 лв
The Watson Drawing Book Ernest W Watson / Book Hardback
common.buy 39.02 € 76.32 лв
Mandala Coloring Book: Coloring Books for Adults: Stress Relieving Patterns Tanakorn Suwannawat / Book Paperback
common.buy 7.70 € 15.05 лв
Student Study Guide and Solutions Manual for Genetic Analysis SANDERS MARK F. / Book Paperback
common.buy 93.97 € 183.78 лв
British Empire and the First World War Ashley Jackson / Book Paperback
common.buy 81.69 € 159.78 лв
Absence and Difficult Knowledge in Contemporary Art Museums Margaret Tali / Book Hardback
common.buy 273.13 € 534.19 лв
When All Else Fails Oh Miranda / Book Paperback
common.buy 19.82 € 38.76 лв
Serious Student's Planner for Time Management Success ACTIVINOTES / Book Paperback
common.buy 13.81 € 27.01 лв
Top
Writing B1 Luis Porras Wadley / Book Paperback
common.buy 13.86 € 27.11 лв
Youthquake Dead Or Alive / Audio Audio vinyl
common.buy 32.65 € 63.87 лв

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?