- EAN13
- 9782746238015
- ISBN
- 978-2-7462-3801-5
- Éditeur
- Hermès science publications
- Date de publication
- 25/04/2012
- Collection
- INFORMATIQUE ET
- Dimensions
- 23 x 15 x 2 cm
- Poids
- 810 g
- Code dewey
- 005.131
- Fiches UNIMARC
- S'identifier
Outils de mise en oeuvre industrielle des méthodes formelles
Dirigé par Jean-Louis Boulanger
Hermès science publications
Informatique Et
Offres
Autre version disponible
S'identifier pour envoyer des commentaires.
Autres contributions de...
- Ingénierie des exigences - Méthodes et bonnes pratiques pour construire et maintenir un référentie, Méthodes et bonnes pratiques pour construire et maintenir un référentielStéphane Badreau, Jean-Louis BoulangerDunod
- Ingénierie des exigences, Méthodes et bonnes pratiques pour construire et maintenir un référentielStéphane Badreau, Jean-Louis BoulangerDunod30,99Choisissez une version
- Techniques industrielles de modélisation formelle pour le transportJean-Louis BoulangerHermès science publications
- Utilisations industrielles des techniques formelles - interprétation abstraite, interprétation abstraiteJean-Louis BoulangerHermès science publications
- Sécurisation des architectures informatiques industriellesJean-Louis BoulangerHermès science publications