An experiment in parallelizing an application using formal methods (Record no. 122405)

011 ## - ISSN
ISSN 0302-9743
099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2010-03-25
100 ## - données générales de traitement
données générales de traitement 19990907d1998 k y frey50103
200 1# - titre
Titre propre An experiment in parallelizing an application using formal methods
indication générale du type de document [Texte imprimé]
Sous-titre computer aided parallelisation
Auteur principal Raphaël Couturier and Dominique Méry
210 ## - éditeur
Lieu de publication Berlin
-- Heidelberg
Nom de l'éditeur Springer
Date de publication 1998
215 ## - Description matérielle
Caractéristiques matérielles P. 345-356
Autres caractéristiques Ill.
Format 24 cm
303 ## - note
texte de la note Bibliogr. p. 355-356
488 ## - autres oeuvres en liaison
Titre |Computer aided verification|10th International conference, CAV'98, Vancouver, BC, Canada|1998
610 ## - sujets
sujet PARALLELISATION
610 ## - sujets
sujet Preuve automatique
709 ## - Nom de personne
élément d'entrée COUTURIER
partie du nom autre que l'élément d';entrée Raphaël
709 ## - Nom de personne
élément d'entrée MERY
partie du nom autre que l'élément d';entrée D.
909 ## - Type de document
Type de document Articles
CAT_DOC Congrès
995 ## - Exemplaires
-- EM AI CI200-2723
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique VAN 98 Empruntable Centre de Recherche en Informatique

Powered by Koha