Accueil de DSpace
→
Informatique
→
Théses de Magister
→
Voir le document

Optimization and implementation of techniques for the verification of infinite data softwares

Saidi, Selma

URI: http://hdl.handle.net/123456789/2381

Date: 2008

Description:

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

Afficher la notice complète

Fichier(s) constituant ce document

Nom: résumé.docx

Taille: 12.58Ko

Format: Microsoft Word 2007

Nom: TH5049.pdf

Taille: 335.6Ko

Format: PDF

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

Théses de Magister

Chercher dans le dépôt

Parcourir

Tout DSpace
Cette collection

Mon compte