Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur / Abdelkrim Chebieb (2004)

Public ISBD Titre : Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur Type de document : theses et memoires Auteurs : Abdelkrim Chebieb ; Ait Ameur, Directeur de thèse Editeur : Tizi Ouzou : UMMTO.FGEI Année de publication : 2004 Importance : 138 p. Présentation : ill. Format : 30 cm. Note générale : bibliogr. Langues : Français Mots-clés : IHM  Interfaces  Model Checking  Validation des modéles. Permalink : ./index.php?lvl=notice_display&id=32131 Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur [theses et memoires] / Abdelkrim Chebieb ; Ait Ameur, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2004 . - 138 p. : ill. ; 30 cm. bibliogr. Langues : Français Mots-clés : IHM  Interfaces  Model Checking  Validation des modéles. Permalink : ./index.php?lvl=notice_display&id=32131

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MAG.INF.12-04/1	MAG.INF.12-04	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible
MAG.INF.12-04/2	MAG.INF.12-04	Mémoires	Magasin de Thèses et Mémoires / INF	Magister en Informatique	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1