14 résultats
Trier par

Actes

Indisponible
18.29

La mesure du logiciel

Indisponible
30.49

Le Modèle relationnel binaire : méthode I.A. (NIAM)

Indisponible
65.10



Mathématiques à l'usage des informaticiens

Disponible
Ajouter à votre panier33.00


Pierre Abélard : colloque international de Nantes

Disponible
Ajouter à votre panier24.00

Structures de données et méthodes formelles

Disponible
Ajouter à votre panier87.00



La spécification formelle avec Z

Indisponible
21.34

4e s journées Pratique des méthodes et outils logiciels d'aide à la concept...

Indisponible
68.60


Introduction à la spécification

Indisponible
44.10




Dictionnaire encyclopédique du génie logiciel

Indisponible
37.95





Actes

Indisponible
45.73





14 résultats
Trier par