Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants

Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants

Bouabana, Thouraya épse. Tebibel
URI: http://hdl.handle.net/123456789/698
Date: 2007

Description:

293 p. : ill. ; 30 cm. (+ CD-Rom)

Afficher la notice complète

Fichier(s) constituant ce document

Icon
Nom: résumé.pdf
Taille: 84.52Ko
Format: PDF
Voir/Ouvrir
Icon
Nom: TH4829.pdf
Taille: 3.285Mo
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Parcourir

Mon compte