Exemplaires

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	13443	1037223	PUBL ORS

Sous-titre : Système interactif de spécification, génération d'objets formels

Type de doc : M

Ville d'édition : Orsay

Pays d'édition : fr

Langue ouvrage : fre

Collection : Publications mathématiques d'Orsay

N° dans la collection : 156-75-45