Comprendre les méthodes formelles : panorama et outils logiques
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Livre papier |
| Idioma: | Français |
| Publicat: |
Paris ; Milan ; Barcelone :
Masson
impr. 1996, cop. 1996
|
| Col·lecció: | Collection technique et scientifique des télécommunications
|
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Localització | Signatura | Type de prêt | Estat | |
|---|---|---|---|---|
| Magasin | F76-35 | Disponible |