Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods for Safety and Security

Name: Formal Methods for Safety and Security
Brand: Springer
SKU: 41332731
Price: 89.81 EUR
Availability: InStock
Author: Manju Nanda
ISBN: 9789811041211

Case Studies for Aerospace Applications

Manju Nanda

Yogananda Jeppu

Língua

Inglês

E-book Adobe ePub DRM

Código Libristo: 41332731

Editoras Springer, novembro 2017

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Descrição completa

Código Libristo: 41332731

218 b

89.81 €

Em stock Imediatamente descarregável

Os clientes também compraram

Verh ltnis Der T rh ter-Parabel Zum Erz hlkontext in Kafkas Roman Der Proze Tanja Stramiello

Capa mole

13.53 €

Askname Sultan Veled

Capa mole

7.77 €

Fraseología Jurídica Latina Gómez Royo

Capa mole

27.87 €

Lengua,historia y sociedad en andalucia MARTA FERNANDEZ ALCAIDE

Capa mole

31.21 €

Das Buch der Natur Hoge Schulz

Capa mole

21.11 €

Céline Dion - La femme aux deux visages Elysabeth Reynaud

Capa mole

18.78 €

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.