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

Auteur : Cliff B. Jones

Paru le : 01/01/1992

Éditeur(s) : Elsevier Masson

Série(s) : Non précisé.

Contributeur(s) : Traducteur :

50,20 €

Chargement...

Livraison à partir de 0,01 €

-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation. ©Electre 2025

Paru le : 01/01/1992

Thématique : Langages de programmation

Auteur(s) : Auteur : Cliff B. Jones

Éditeur(s) : Elsevier Masson

Collection(s) : Méthodologie pour le logiciel

Contributeur(s) : Traducteur :

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9782225828126

Reliure : Broché

Pages : 304

Hauteur: 24.0 cm / Largeur 16.0 cm

Épaisseur: 1.8 cm

Poids: 548 g

50,20 €

Chargement...