VDM : une méthode rigoureuse pour le développement de logiciels
Éditeur: Elsevier Masson
1992304 pagesISBN 9782225828126
Format: BrochéLangue : Français
Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)