Chargement...
Chargement...
  1. Auteur
  2. Jones, Cliff B.

Livres Cliff B. Jones

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 2025
50,20 €
Chargement...
1