- De : Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel
- Paru le : 05/11/1999
- Éditeur : OFTA
- Collection(s) : Arago
- Format : 23 cm
- Poids : 510 g
- Référence : 9782906028067
93.31
Sur commande, habituellement expédié sous 4 à 7 jours ouvrés