- EAN13
- 9782746232303
- ISBN
- 978-2-7462-3230-3
- Éditeur
- Hermès science publications
- Date de publication
- 27/09/2011
- Collection
- Informatique et systèmes d'information
- Dimensions
- 0 x 0 x 0 cm
- Poids
- 650 g
- Code dewey
- 388.0285
- Fiches UNIMARC
- S'identifier
Techniques industrielles de modélisation formelle pour le transport
Dirigé par Jean-Louis Boulanger
Hermès science publications
Informatique et systèmes d'information
Offres
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érentielStéphane Badreau, Jean-Louis BoulangerDunod30,99Choisissez une version
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- Outils de mise en oeuvre industrielle des méthodes formellesJean-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