- EAN13
- 9782746232303
- ISBN
- 978-2-7462-3230-3
- Éditeur
- Hermès science publications
- Date de publication
- 27/09/2011
- Collection
- TRAITE RTA - SE
- Dimensions
- 23,4 x 15,6 x 1,6 cm
- Poids
- 650 g
- Langue
- français
- 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
Traite Rta - Se
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é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
