- EAN13
- 9782906028067
- ISBN
- 978-2-906028-06-7
- Éditeur
- OFTA
- Date de publication
- 05/11/1999
- Collection
- Arago (20)
- Dimensions
- 23 cm
- Poids
- 510 g
- Fiches UNIMARC
- S'identifier
Application des techniques formelles au logiciel
De Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel
Ofta
Arago
Offres
S'identifier pour envoyer des commentaires.