Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes

Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes

Aleb, Nassima; Nadjet, Kamel
URI: http://hdl.handle.net/123456789/190
Date: 2013

Description:

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

Afficher la notice complète

Fichier(s) constituant ce document

Icon
Nom: Aleb-Résumé-bibli ...
Taille: 11.90Ko
Format: Microsoft Word 2007
Voir/Ouvrir
Icon
Nom: TH7564.pdf
Taille: 1.740Mo
Format: PDF
Voir/Ouvrir

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

Chercher dans le dépôt


Parcourir

Mon compte