Normal view MARC view ISBD view

Méthodes symboliques pour la vérification de processus communicants : étude et mise en oeuvre / {A. Kerbrat}

Publication :Grenoble : [s.n.], 1994Description : 190 p. : Ill. ; 30 cmThèse : .Sujet : PROCESSUS ;SYSTEME REPARTI ;POLYEDRE ;BINARY DECISION DIAGRAM ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-2157 Sur demande CRI03303D

Bibliogr. p. 185-190

Th. doct. Informatique GRENOBLE 01 1994

Powered by Koha