Normal view MARC view ISBD view

An experiment in parallelizing an application using formal methods [[Texte imprimé]] : computer aided parallelisation / Raphaël Couturier and Dominique Méry

Publication : Berlin, Heidelberg : Springer, 1998Description : P. 345-356 : Ill. ; 24 cmISSN : 0302-9743.Sujet : PARALLELISATION ;Preuve automatique
Current location Call number Status Date due Barcode
Centre de recherche en informatique
VAN 98 Available

Bibliogr. p. 355-356

Powered by Koha