Exercices corrigés en langage Z : les spécifications formelles par l'exemple
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Paris :
Ellipses
DL 2004.
|
| Serie: | Technosup. Génie logiciel : les filières technologiques des enseignements supérieurs
|
| Soggetti: | |
| Autres localisations: | Voir dans le Sudoc |
INSA CVL Bourges
| Localizzazione | Collocazione | Type de prêt | Status | |
|---|---|---|---|---|
| Informatique | 005.1 AND | Disponibile |