- EAN13
- 9782746232068
- ISBN
- 978-2-7462-3206-8
- Éditeur
- Hermès science publications
- Date de publication
- 17/06/2011
- Collection
- INFORMATIQUE ET
- Poids
- 750 g
- Code dewey
- 005.14
- Fiches UNIMARC
- S'identifier
Utilisations industrielles des techniques formelles - interprétation abstraite
interprétation abstraite
Dirigé par Jean-Louis Boulanger
Hermès science publications
Informatique Et
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 BoulangerDunod47,00
-
Outils de mise en oeuvre industrielle des méthodes formellesJean-Louis BoulangerHermès science publications
-
Techniques industrielles de modélisation formelle pour le transportJean-Louis BoulangerHermès science publications99,00
-
Sécurisation des architectures informatiques industriellesJean-Louis BoulangerHermès science publications