Online Public Access Catalogue.Abdel Hafid Boussouf University Center of Mila.

Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité / Benayoune salim

Public ISBD title : Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité : mémoire pour l'obtention du diplôme de magistère en informatique Type de document : printed text Auteur : Benayoune salim Editeur : constantine : Université Mentouri Constantine Date de publication : 2003 Nombre de pages : 108p. Dimensions : 30*21 ISBN (ou autre code) : 00410611 Langue : French (fre) Langue originale : French (fre) Indexation : mg in Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité : mémoire pour l'obtention du diplôme de magistère en informatique [printed text] / Benayoune salim . - constantine : Université Mentouri Constantine, 2003 . - 108p. ; 30*21. ISSN : 00410611 Langue : French (fre) Langue originale : French (fre) Indexation : mg in

Réservation

Réserver ce document

Exemplaires(1)

Barcode	Call number	Media type	Location	Section	Statut
mg inf/844	004/106/1	Thesis and Dissertation	Central Library	Dissertations and Theses Room	AVAILABLE

---

1 (1 - 1 / 1) Par page : 25 50 100 200