[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Industrial Use of Formal Methods

Langue AnglaisAnglais
Livre Livre relié
Livre Industrial Use of Formal Methods Jean-Louis Boulanger
Code Libristo: 01434090
Éditeurs ISTE Ltd and John Wiley & Sons Inc, juin 2012
At present the literature gives students and researchers of the very general books on the formal tec... Description détaillée
? points 494 b
209.04 € včetně DPH
50% de chance Nous cherchons dans le monde Quand vais-je recevoir mon livre ?
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

TOP
1984 George Orwell / Livre de poche
common.buy 10.48 €
TOP
How to Draw Scott Robertson / Livre de poche
common.buy 37.88 €
TOP
The Innovator's Dilemma Clayton M. Christensen / Livre de poche
common.buy 26.21 €
TOP
Sketching People Lynne Chapman / Livre de poche
common.buy 19.15 €
TOP
Mykonos Muse Lizy Manola / Livre relié
common.buy 130.80 €
TOP
Functional Art, The Alberto Cairo / Livre relié
common.buy 45.80 €
TOP
Walnut Tree Charles Hulbert-Powell / Livre relié
common.buy 36.49 €
Cyberpunk 2077: No Coincidence Rafal Kosik / Livre relié
common.buy 23.22 €
Place Promised in Our Early Days MAKOTO SHINKAI / Livre relié
common.buy 19.15 €
Cheri, My Destiny! / Livre de poche
common.buy 12.83 €
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Reliure à anneaux
common.buy 26.96 €
Silicon Quantum Integrated Circuits Erich Kasper / Livre relié
common.buy 206.48 €
From Trafficking to Terror MAHDAVI / Livre relié
common.buy 271.13 €
Come to the Water Sharon Hurkens / Livre de poche
common.buy 12.62 €
Bad Kitty Goes to the Vet Nick Bruel / Livre relié
common.buy 19.69 €
Kingdom Advancing Prayer Volume I Michael Scantlebury / Livre de poche
common.buy 20.54 €

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain.§This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.§The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).

À propos du livre

Nom complet Industrial Use of Formal Methods
Auteur Jean-Louis Boulanger
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2012
Nombre de pages 314
EAN 9781848213630
ISBN 1848213638
Code Libristo 01434090
Éditeurs ISTE Ltd and John Wiley & Sons Inc
Poids 618
Dimensions 161 x 239 x 23

Catégories

Informatique et technologies de l’information > Informatique > Modélisation et simulation informatiques
Technologie, ingénierie et agriculture, procédés industriels > Chimie industrielle et technologies industrielles
Technologie, ingénierie et agriculture, procédés industriels > Génie mécanique et matériels
Informatique et technologies de l’information > Programmation informatique / 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

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