Utilisations Industrielles Des Techniques Formelles : Interpretation Abstraite (Informatique Et Syst
Interprétation abstraite
L'auteur - Jean-Louis Boulanger
Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.
Autres livres de Jean-Louis Boulanger
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Hermès - Lavoisier |
Auteur(s) | Jean-Louis Boulanger |
Parution | 17/06/2011 |
Format | 20 x 22 |
Couverture | Broché |
Poids | 750g |
EAN13 | 9782746232068 |
ISBN13 | 978-2-7462-3206-8 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse