Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

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

Língua InglêsInglês
Livro Livro de capa dura
Livro Formal Methods for Safety and Security: Case Studies for Aerospace Applications Manju Nanda
Código Libristo: 15853291
Editoras Springer Verlag, Singapore, julho 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Descrição completa
? points 292 b
120.87 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Quaderno di compiti delle vacanze per adulti Daniel López Valle / Livro Capa mole
common.buy 13.54 €
Hopfen & Himmel Ludwig Waldmüller / Livro Livro de capa dura
common.buy 16.98 €
Die Universität Basel und die Böhmischen Länder (1460-1630) Martin Holý / Livro Livro de capa dura
common.buy 55.63 €
Złotowłosa Wojciech Chmielarz / Livro Capa mole
common.buy 10.21 €
Formentera - Karibik im Mittelmeer (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 22.14 €
Chefs-d'Oeuvre Tome 2 Corneille-T / Livro Capa mole
common.buy 14.76 €
Penser les formes filmiques contemporaines Deville / Livro Livro
common.buy 32.56 €
Die Demokratie Michel Zobi / Livro Capa mole
common.buy 35.70 €
Catalogue Du Mobilier Artistique, Piano Demi-Queue de Pleyel, Sieges, Bronzes d'Art Marius Paulme / Livro Capa mole
common.buy 13.04 €
Die Schöne und das Biest 1-3, 3 DVDs John Carnochan Daniel Lee / Vídeo DVD
common.buy 17.79 €
Divoké rostliny Celie Nentwig / Livro Livro de capa dura
common.buy 15.67 €
Fußball-Haie 10 - Freundschaft oder Sieg Andreas Schlüter / Livro Livro de capa dura
common.buy 7.07 €
Monte Dolciano Swidler Uli T. / Livro Capa mole
common.buy 7.27 €
La regina delle nevi e altri racconti H. Christian Andersen / Livro Capa mole
common.buy 16.98 €
Sirius B - Abenteuer in neuen Welten und fremden Galaxien Conny Reinhard / Livro Capa mole
common.buy 5.45 €
Le Journal du Sida - Chroniques 1994 / 2013 Didier Lestrade / Livro Capa mole
common.buy 18.00 €
Die Archetypen und das kollektive Unbewusste Carl G. Jung / Livro Capa mole
common.buy 42.78 €
Lebendige Volkskunst Kreuzstich Elfriede Rottenbacher / Livro Capa mole
common.buy 12.23 €
Kals-Heiligenblut-Matrei-Lienz (WK181) / Artigos impressos Mapa
common.buy 12.23 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Methods for Safety and Security: Case Studies for Aerospace Applications
Autor Manju Nanda, Yogananda Jeppu
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2017
Número de páginas 132
EAN 9789811041204
ISBN 9811041202
Código Libristo 15853291
Editoras Springer Verlag, Singapore
Peso 3697
Dimensões 155 x 235 x 12

Categorias

Matemática & ciência > Matemática > Cálculo e análise matemática > Cálculo de variações
Tecnologia, Engenharia & Agricultura > Engenharia mecânica & materiais > Engenharia da produção > Engenharia da fiabilidade
Tecnologia, Engenharia & Agricultura > Outras tecnologias & ciências aplicadas > Ciência espacial > Astronáutica
Tecnologia, Engenharia & Agricultura > Tecnologia dos transportes & áreas de atividade > Tecnologia aeroespacial e aeronáutica
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Sustainable Plantation Forestry Herman Hidayat / Livro Livro de capa dura
common.buy 102.97 €
Jim Corbett, Master of the Jungle Tim Werling / Livro Livro de capa dura
common.buy 31.25 €
Animal Handling and Physical Restraint CHASTAIN / Livro Livro de capa dura
common.buy 264.72 €
Spelling Activity Book 2 Abigail Steel / Livro Capa mole
common.buy 6.06 €
The Watson Drawing Book Ernest W Watson / Livro Livro de capa dura
common.buy 36.41 €
Mandala Coloring Book: Coloring Books for Adults: Stress Relieving Patterns Tanakorn Suwannawat / Livro Capa mole
common.buy 7.27 €
British Empire and the First World War Ashley Jackson / Livro Capa mole
common.buy 74.24 €
Absence and Difficult Knowledge in Contemporary Art Museums Margaret Tali / Livro Livro de capa dura
common.buy 236.90 €
ESV Expository Commentary Iain M. Duguid / Livro Livro de capa dura
common.buy 42.37 €
Maneki-Neko: Kei, The Lucky Cat of Harajuku Nicole Russin / Livro Capa mole
common.buy 14.96 €
Pathfinder Flip-Mat: Ritual Sites / Livro Capa mole
common.buy 17.19 €
Serious Student's Planner for Time Management Success ACTIVINOTES / Livro Capa mole
common.buy 12.74 €
A Priceless Treasure Marie Crowley / Livro Capa mole
common.buy 20.83 €
THE ESSENTIALS OF TEACHING: A BOOK FOR A THOMAS J. BURNETT / Livro Livro de capa dura
common.buy 31.85 €
Principal
Fireman Joe Hill / Livro Capa mole
common.buy 7.88 €
German Vocabulary Laminate Reference Chart Liliane Arnet / Livro Livro
common.buy 7.37 €
Caesar Henry Peterson / Livro Capa mole
common.buy 12.63 €
My Holly Julie Leavitt Wolfe / Livro Capa mole
common.buy 13.04 €
Principal
Lonely Planet - Central Asia Lonely Planet / Livro Capa mole
common.buy 36.81 €
Blood Brothers Deanne Stillman / Livro Capa mole
common.buy 12.74 €
Synoptical Firing of Electrical Complexity EVAN AMRHEIN / Livro Capa mole
common.buy 13.85 €
Antibiotic Essentials 2024 Cheston B Cunha / Livro Capa mole
common.buy 57.35 €
Hard Facts of the Grimms' Fairy Tales Maria Tatar / Livro Capa mole
common.buy 16.78 €
Principal
Writing B1 Luis Porras Wadley / Livro Capa mole
common.buy 12.84 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?