Normal view MARC view ISBD view

THEORIES OF TRANSLATION CORRECTNESS FOR CONCURRENT PROGRAMMING LANGUAGES. / {M. Millington}

Publication :S.L. : [s.n.], 1987Description : 01 VOL.,288 P. : PR 4 ; 21 CMThèse : .Sujet : COMPILATION ;LANGAGE CCS ;SEMANTIQUE ;Preuve de programme Marque commerciale : SEMANTIQUE OPERATIONNELLE
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI5097 Sur demande CRI02634D

TH.:PHD EDINBURGH 1987

Powered by Koha

//]]>