Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Livre numérique Formal Methods for Safety and Security Manju Nanda
Code Libristo: 41332731
Éditeurs Springer, novembre 2017
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delve... Description détaillée
? points 242 b
100.36 €
En stock Immédiatement téléchargeable

Les clients ont également acheté

Verh ltnis Der T rh ter-Parabel Zum Erz hlkontext in Kafkas Roman Der Proze Tanja Stramiello / Livre Livre de poche
common.buy 14.49 €
Askname Sultan Veled / Livre Livre de poche
common.buy 8.20 €
Fraseología Jurídica Latina Gómez Royo / Livre Livre de poche
common.buy 32.13 €
Lengua,historia y sociedad en andalucia MARTA FERNANDEZ ALCAIDE / Livre Livre de poche
common.buy 33.25 €
Das Buch der Natur Hoge Schulz / Livre Livre de poche
common.buy 23.61 €
Céline Dion - La femme aux deux visages Elysabeth Reynaud / Livre Livre de poche
common.buy 21.48 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Formal Methods for Safety and Security
Auteur Manju Nanda, Yogananda Jeppu
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2017
EAN 9789811041211
Code Libristo 41332731
Éditeurs Springer

Catégories

Mathématiques et sciences > Mathématiques > Calcul et analyse mathématique > Calcul des variations
Technologie, ingénierie et agriculture, procédés industriels > Génie mécanique et matériels > Productique et génie industriel > Techniques de fiabilité
Technologie, ingénierie et agriculture, procédés industriels > Technologie des transports et secteurs d’activité > Technologie de l’aérospatiale et de l’aéronautique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Bientôt
Memoirs of a Sergeant Anon / Livre Livre de poche
common.buy 12.87 €
Art of Story-Writing. the Writer's Library J. BERG ESENWEIN / Livre Livre de poche
common.buy 22.30 €
Top
Something from Nothing: A Cookbook Alison Roman / Livre Livre relié
common.buy 28.58 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo