| Titre : | VDM : une méthode rigoureuse pour le développement de logiciels |
| Auteurs : | CliffB. Jones, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1992 |
| Collection : | Méthodologie pour le logiciel |
| ISBN/ISSN/EAN : | 978-2-225-82812-6 |
| Format : | 304 p. / 24 x 16 cm |
| Langues: | Français |
| Langues originales: | Anglais |
| Catégories : | |
| Mots-clés: | VDM/ méthode / logiciels/ conception |
| Résumé : |
Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation. |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC006294 | INF00906 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC014111 | INF04524 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
