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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Formal Methods for Safety and Security Manju Nanda
Libristo code: 41332731
Publishers Springer, November 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Full description
? points 244 b
100.93 €
In stock Immediate digital delivery

Customers also purchased

Verh ltnis Der T rh ter-Parabel Zum Erz hlkontext in Kafkas Roman Der Proze Tanja Stramiello / Book Paperback
common.buy 14.48 €
Askname Sultan Veled / Book Paperback
common.buy 8.20 €
Fraseología Jurídica Latina Gómez Royo / Book Paperback
common.buy 32.12 €
Lengua,historia y sociedad en andalucia MARTA FERNANDEZ ALCAIDE / Book Paperback
common.buy 33.23 €
Das Buch der Natur Hoge Schulz / Book Paperback
common.buy 23.70 €
Céline Dion - La femme aux deux visages Elysabeth Reynaud / Book Paperback
common.buy 21.48 €

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 E-book - Adobe ePub DRM
Date of issue 2017
EAN 9789811041211
Libristo code 41332731
Publishers Springer

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

Coming soon
Memoirs of a Sergeant Anon / Book Paperback
common.buy 12.86 €
Art of Story-Writing. the Writer's Library J. BERG ESENWEIN / Book Paperback
common.buy 22.29 €
Top
Something from Nothing: A Cookbook Alison Roman / Book Hardback
common.buy 28.57 €

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?