«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

Formentera - Karibik im Mittelmeer (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 24.49 €
Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter / Libro Tapa dura
common.buy 7.89 €
Złotowłosa Wojciech Chmielarz / Libro Tapa blanda
common.buy 11.69 €
Hopfen & Himmel Ludwig Waldmüller / Libro Tapa dura
common.buy 18.79 €
Po sezoně Jack Ketchum / Libro Tapa blanda
common.buy 13.49 €
Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý / Libro Tapa dura
common.buy 61.19 €
2081 / Libro Tapa blanda
common.buy 17.79 €
Monte Dolciano Swidler Uli T. / Libro Tapa blanda
common.buy 7.59 €
Kals-Heiligenblut-Matrei-Lienz (WK181) / Artículos impresos Mapa
common.buy 12.99 €
Popular
Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Libro Tapa blanda
common.buy 15.09 €
Popular
Die Archetypen und das kollektive Unbewusste Carl G. Jung / Libro Tapa blanda
common.buy 51.19 €
Matthäus Passion BWV 244, 3 Super-Audio-CDs (hybrid / Limited Deluxe Edition) Johann Sebastian Bach / Audio CD de audio
common.buy 47.29 €
Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade / Libro Tapa blanda
common.buy 19.89 €
Sirius B - Abenteuer in neuen Welten und fremden Galaxien Conny Reinhard / Libro Tapa blanda
common.buy 6.09 €
La regina delle nevi e altri racconti H. Christian Andersen / Libro Tapa blanda
common.buy 29.69 €
Chefs-d'Oeuvre Tome 2 Corneille-T / Libro Tapa blanda
common.buy 16.09 €
Petite Mionne: Les Drames de la Vie. Madame Joramie RICHEBOURG-E / Libro Tapa blanda
common.buy 30.99 €
Penser les formes filmiques contemporaines Deville / Libro Libro
common.buy 35.49 €
Divoké rostliny Celie Nentwig / Libro Tapa dura
common.buy 17.39 €
Die Schöne und das Biest 1-3, 3 DVDs John Carnochan Daniel Lee / Video DVD
common.buy 19.19 €
Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art Marius Paulme / Libro Tapa blanda
common.buy 14.19 €
Los cuentos de así fue Rudyard Kipling / Libro Tapa blanda
common.buy 16.29 €
THEME FROM "STAR TREK(R)" ENSEMBLE DE CUIVRES ALEXANDER COURAGE Libro binding.
common.buy 26.79 €
Ich kann rechtschreiben 1 bis 3 - Schülerarbeitshefte für die 2. bis 4. Klasse sternchenverlag GmbH / Libro Tapa blanda
common.buy 14.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.39 €
Maneki-Neko: Kei, The Lucky Cat of Harajuku Nicole Russin / Libro Tapa blanda
common.buy 16.39 €
Caesar Henry Peterson / Libro Tapa blanda
common.buy 13.89 €
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 82.89 €
Absence and Difficult Knowledge in Contemporary Art Museums Margaret Tali / Libro Tapa dura
common.buy 277.09 €
Beyond the Black Waters / Libro Tapa dura
common.buy 32.79 €
Pathfinder Flip-Mat: Ritual Sites / Libro Tapa blanda
common.buy 20.39 €
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 8.89 €
My Holly Julie Leavitt Wolfe / Libro Tapa blanda
common.buy 14.19 €
Popular
KIMI NI TODOKE ME TO YOU SOULMATE V01 V01 / Libro Tapa blanda
common.buy 10.49 €
Terahertz Technology Ja-Yu Lu / Libro Tapa dura
common.buy 126.69 €
Indoor/Arena Soccer Coaching Notebook (Hardback) Jessica Elder / Libro Tapa dura
common.buy 37.69 €
Popular
Eleventh Cycle Kian N. Ardalan / Libro Tapa blanda
common.buy 25.69 €
Popular
Writing B1 Luis Porras Wadley / Libro Tapa blanda
common.buy 14.29 €
English Code American Starter Workbook / Libro Tapa blanda
common.buy 34.39 €
Word Art Leighton Ainsworth / 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?