Normal view MARC view ISBD view

FuZE: un environnement integré pour l'analyse formelle de logiciels distribués temps réel / {J. Bruel}

Publication :Toulouse : Université Paul Sabatier, 1996Description : 202 p. : Ill. ; 30 cmThèse : .Sujet : TEMPS REEL ;SYSTEME REPARTI ;ENVIRONNEMENT DE PROGRAMMATION ;LANGAGE Z ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-2060 Sur demande CRI03213D

Bibliogr. p. 147-166. Glossaire. Index

Th. doct. Informatique TOULOUSE 03 1996

Powered by Koha