Évaluation de méthodes formelles de spécification

Description

Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1999. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.

Links & Downloads

1. http://ezproxy.usherbrooke.ca/login?url= http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rfr_dat=&res_dat=xri:pqdiss&rft_val_fmt=info:ofi%2Ffmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MQ56896

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423635413
Date	January 1999
Creators	Diab, Hassan.
Publisher	Sherbrooke : Université de Sherbrooke,
Source Sets	OCLC
Language	French
Detected Language	French
Source	(Accès réservé UdeS)Droit de reproduction illimitée uniquement pour la création de matériel didactique.