Approches formelles pour l'aide au développement de logiciels

Yves, Ledru

URI: https://di.univ-blida.dz/jspui/handle/123456789/34170

Date: 2001

Description:

Bibliogr.-127 p.fig.24cm.

Afficher la notice complète

Fichier(s) constituant ce document

Nom: 2-005-307.pdf

Taille: 543.3Ko

Format: PDF

Description: livre

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

Livre

Chercher dans le dépôt

Recherche avancée

Parcourir

Tout DSpace
Cette collection

Mon compte