No full text
Doctoral thesis (Dissertations and theses)
Méthode progressive de synthèse et de vérification de programmes parallèles
Gribomont, Pascal
1985
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Gribomont, Pascal ;  Université de Liège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique et intelligence artificielle
Language :
French
Title :
Méthode progressive de synthèse et de vérification de programmes parallèles
Defense date :
1985
Institution :
ULiège - Université de Liège
Degree :
Docteur en sciences appliquées
Promotor :
Ribbens, Danny
President :
Danthine, André
Jury member :
Sintzoff, Michel
Wodon, Pierre
Jorrand, Philippe
Available on ORBi :
since 31 July 2015

Statistics


Number of views
41 (2 by ULiège)
Number of downloads
0 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi