Chargement...
Chargement...
Auteur Jones, Cliff B.
Auteur

Support

Série

Disponibilité

1
VDM : une méthode rigoureuse pour le développement de logiciels

VDM : une méthode rigoureuse pour le développement de logiciels

Auteur : Cliff B. Jones
Éditeur(s) : Elsevier Masson
Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation. ©Electre 2026
50,20 €
Chargement...
1