Nantilus
Programming with VDM
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Programming with VDM / F.D. Rolland |
| Publié : |
Basingstoke, England :
Macmillan
, 1992 |
| Description matérielle : | viii, 122 p. |
| Collection : | Macmillan computer science series |
| Sujets : |
| ISBN : | 0-333-56520-7 |
|---|