«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Idioma InglésInglés
Libro Tapa dura
Libro Formal Methods for Safety and Security: Case Studies for Aerospace Applications Manju Nanda
Código Libristo: 15853291
Editores Springer Verlag, Singapore, julio 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Descripción completa
? points 325 b
132.69 €
Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Quaderno di compiti delle vacanze per adulti Daniel López Valle / Libro Tapa blanda
common.buy 15.99 €
Hopfen & Himmel Ludwig Waldmüller / Libro Tapa dura
common.buy 18.79 €
Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý / Libro Tapa dura
common.buy 61.19 €
Złotowłosa Wojciech Chmielarz / Libro Tapa blanda
common.buy 11.69 €
Formentera - Karibik im Mittelmeer (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 24.49 €
Chefs-d'Oeuvre Tome 2 Corneille-T / Libro Tapa blanda
common.buy 16.09 €
Penser les formes filmiques contemporaines Deville / Libro Libro
common.buy 35.89 €
Die Demokratie Michel Zobi / Libro Tapa blanda
common.buy 39.39 €
Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art Marius Paulme / Libro Tapa blanda
common.buy 16.49 €
Die Schöne und das Biest 1-3, 3 DVDs John Carnochan Daniel Lee / Video DVD
common.buy 19.59 €
Divoké rostliny Celie Nentwig / Libro Tapa dura
common.buy 18.89 €
Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter / Libro Tapa dura
common.buy 7.89 €
Monte Dolciano Swidler Uli T. / Libro Tapa blanda
common.buy 7.59 €
La regina delle nevi e altri racconti H. Christian Andersen / Libro Tapa blanda
common.buy 19.99 €
Sirius B - Abenteuer in neuen Welten und fremden Galaxien Conny Reinhard / Libro Tapa blanda
common.buy 6.19 €
Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade / Libro Tapa blanda
common.buy 19.89 €
Die Archetypen und das kollektive Unbewusste Carl G. Jung / Libro Tapa blanda
common.buy 47.29 €
Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Libro Tapa blanda
common.buy 13.59 €
Kals-Heiligenblut-Matrei-Lienz (WK181) / Artículos impresos Mapa
common.buy 12.99 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Autor Manju Nanda, Yogananda Jeppu
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2017
Número de páginas 132
EAN 9789811041204
ISBN 9811041202
Código Libristo 15853291
Editores Springer Verlag, Singapore
Peso 3697
Dimensiones 155 x 235 x 12

Categorías

Matemáticas y ciencias > Matemáticas > Cálculo y análisis matemático > Cálculo de variaciones
Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería mecánica y de materiales > Producción e ingeniería industrial > Ingeniería de confiabilidad
Tecnología, ingeniería, agricultura, procedimientos industriales > Otras tecnologías y ciencias aplicadas > Ciencia espacial > Astronáutica
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología y actividades del transporte > Tecnología aeroespacial y aeronáutica
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Sustainable Plantation Forestry Herman Hidayat / Libro Tapa dura
common.buy 112.79 €
Jim Corbett, Master of the Jungle Tim Werling / Libro Tapa dura
common.buy 34.39 €
Animal Handling and Physical Restraint CHASTAIN / Libro Tapa dura
common.buy 309.49 €
Spelling Activity Book 2 Abigail Steel / Libro Tapa blanda
common.buy 5.99 €
The Watson Drawing Book Ernest W Watson / Libro Tapa dura
common.buy 39.69 €
Mandala Coloring Book: Coloring Books for Adults: Stress Relieving Patterns Tanakorn Suwannawat / Libro Tapa blanda
common.buy 7.89 €
British Empire and the First World War Ashley Jackson / Libro Tapa blanda
common.buy 78.49 €
Absence and Difficult Knowledge in Contemporary Art Museums Margaret Tali / Libro Tapa dura
common.buy 250.59 €
ESV Expository Commentary Iain M. Duguid / Libro Tapa dura
common.buy 47.39 €
Maneki-Neko: Kei, The Lucky Cat of Harajuku Nicole Russin / Libro Tapa blanda
common.buy 16.39 €
Pathfinder Flip-Mat: Ritual Sites / Libro Tapa blanda
common.buy 19.89 €
Serious Student's Planner for Time Management Success ACTIVINOTES / Libro Tapa blanda
common.buy 14.29 €
A Priceless Treasure Marie Crowley / Libro Tapa blanda
common.buy 22.79 €
THE ESSENTIALS OF TEACHING: A BOOK FOR A THOMAS J. BURNETT / Libro Tapa dura
common.buy 34.79 €
Popular
Fireman Joe Hill / Libro Tapa blanda
common.buy 10.49 €
German Vocabulary Laminate Reference Chart Liliane Arnet / Libro Libro
common.buy 13.09 €
Caesar Henry Peterson / Libro Tapa blanda
common.buy 13.89 €
My Holly Julie Leavitt Wolfe / Libro Tapa blanda
common.buy 14.19 €
Popular
Lonely Planet - Central Asia Lonely Planet / Libro Tapa blanda
common.buy 40.49 €
Blood Brothers Deanne Stillman / Libro Tapa blanda
common.buy 14.59 €
Synoptical Firing of Electrical Complexity EVAN AMRHEIN / Libro Tapa blanda
common.buy 15.09 €
Antibiotic Essentials 2024 Cheston B Cunha / Libro Tapa blanda
common.buy 62.59 €
Popular
Hard Facts of the Grimms' Fairy Tales Maria Tatar / Libro Tapa blanda
common.buy 18.89 €
Popular
Writing B1 Luis Porras Wadley / Libro Tapa blanda
common.buy 14.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?