Program verification using Ada
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Cambridge ; New York :
Cambridge University Press
1982.
|
| Col·lecció: | Cambridge computer science texts
13 |
| Matèries: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localització | Signatura | Type de prêt | Estat | |
|---|---|---|---|---|
| Salle de lecture | 4483 GET | Disponible |