الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

Titre :	Introduction aux méthodes formelles
Type de document :	texte imprimé
Auteurs :	Jean-François Monin, Auteur
Mention d'édition :	2e éd. rev. et augm.
Editeur :	Paris : Hermès science publications
Année de publication :	2000
Collection :	Collection technique et scientifique des télécommunications, ISSN 0221-2579
Importance :	351 p.
Présentation :	ill., couv. ill. en coul.
Format :	24 cm
ISBN/ISSN/EAN :	2-7462-0140-2
Prix :	Prix : 327,98 F : 50 EUR
Note générale :	Bibliogr. p. 331-342. Index
Langues :	Français (fre)
Mots-clés :	calcul de programmes, vdm, propriétés de zf, zfc, ccs
Index. décimale :	005.1

Introduction aux méthodes formelles [texte imprimé] / Jean-François Monin, Auteur  . -  2e éd. rev. et augm. . - Paris : Hermès science publications, 2000 . - 351 p. : ill., couv. ill. en coul. ; 24 cm. - (Collection technique et scientifique des télécommunications, ISSN 0221-2579) .
ISBN : 2-7462-0140-2 : Prix : 327,98 F : 50 EUR
Bibliogr. p. 331-342. Index
Langues : Français (fre)

Mots-clés :	calcul de programmes, vdm, propriétés de zf, zfc, ccs
Index. décimale :	005.1