Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

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

Lingua IngleseInglese
Libro Rigido
Libro Formal Methods for Safety and Security: Case Studies for Aerospace Applications Manju Nanda
Codice Libristo: 15853291
Casa editrice Springer Verlag, Singapore, luglio 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Descrizione completa
? points 309 b
126.09 €
Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Quaderno di compiti delle vacanze per adulti Daniel López Valle / Libro In brossura
common.buy 15.59 €
Hopfen & Himmel Ludwig Waldmüller / Libro Rigido
common.buy 17.79 €
Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý / Libro Rigido
common.buy 58.09 €
Złotowłosa Wojciech Chmielarz / Libro In brossura
common.buy 12.09 €
Formentera - Karibik im Mittelmeer (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 23.19 €
Chefs-d'Oeuvre Tome 2 Corneille-T / Libro In brossura
common.buy 16.09 €
Penser les formes filmiques contemporaines Deville / Libro Libro
common.buy 36.79 €
Die Demokratie Michel Zobi / Libro In brossura
common.buy 37.29 €
Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art Marius Paulme / Libro In brossura
common.buy 14.19 €
Die Schöne und das Biest 1-3, 3 DVDs John Carnochan Daniel Lee / Video DVD
common.buy 19.29 €
Divoké rostliny Celie Nentwig / Libro Rigido
common.buy 18.49 €
Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter / Libro Rigido
common.buy 7.39 €
Monte Dolciano Swidler Uli T. / Libro In brossura
common.buy 7.49 €
La regina delle nevi e altri racconti H. Christian Andersen / Libro In brossura
common.buy 19.69 €
Sirius B - Abenteuer in neuen Welten und fremden Galaxien Conny Reinhard / Libro In brossura
common.buy 5.89 €
Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade / Libro In brossura
common.buy 18.79 €
Die Archetypen und das kollektive Unbewusste Carl G. Jung / Libro In brossura
common.buy 44.79 €
Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Libro In brossura
common.buy 12.79 €
Kals-Heiligenblut-Matrei-Lienz (WK181) / Pubblicazioni cartacee Mappa
common.buy 12.69 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Autore Manju Nanda, Yogananda Jeppu
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2017
Numero di pagine 132
EAN 9789811041204
ISBN 9811041202
Codice Libristo 15853291
Casa editrice Springer Verlag, Singapore
Peso 3697
Dimensioni 155 x 235 x 12

Categorie

Matematica e Scienze > Matematica > Calcolo e analisi matematica > Calcolo delle variazioni
Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria meccanica e dei materiali > Produzione e ingegneria industriale > Ingegneria dell’affidabilità
Tecnologia, Ingegneria, Agricoltura, processi industriali > Altre tecnologie e scienze applicate > Scienze spaziali > Astronautica
Tecnologia, Ingegneria, Agricoltura, processi industriali > Tecnologia e professioni nel settore dei trasporti > Tecnologia aerospaziale e dell’aviazione
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?