الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Titre de série :	TSI. Technique et science informatiques
Titre :	Approches formelles dans l'assistance au développement de logiciels : [atelier AFADL 2001, Nancy, 11 au 13 juin 2001]
Type de document :	texte imprimé
Congrès :	AFADL (4; 2001; Nancy), Auteur
Autre Editeur :	Lavoisier
Année de publication :	2002, cop. 2002
Importance :	1 vol. (p. 1043-1154)
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-7462-0591-8
Langues :	Français (fre)
Mots-clés :	Informatique
Index. décimale :	005

TSI. Technique et science informatiques. Approches formelles dans l'assistance au développement de logiciels : [atelier AFADL 2001, Nancy, 11 au 13 juin 2001] [texte imprimé] / AFADL (4; 2001; Nancy), Auteur . - [S.l.] : Lavoisier, 2002, cop. 2002 . - 1 vol. (p. 1043-1154) : ill. ; 24 cm.
ISBN : 978-2-7462-0591-8
Langues : Français (fre)

Mots-clés :	Informatique
Index. décimale :	005