Détail de l'auteur
Auteur ARNOLD.A |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
PROGRAMMES PARALLELES. MODELES ET VALIDATION / ARNOLD.A
Titre : PROGRAMMES PARALLELES. MODELES ET VALIDATION Type de document : texte imprimé Auteurs : ARNOLD.A, Auteur ; BEAUQUIER.J, Auteur Editeur : PARIS : ARMAND COLIN Année de publication : 1992 Importance : 164P. Présentation : illus. Format : 24 cm. ISBN/ISSN/EAN : 978-2-200-21080-9 Note générale : Index. Mots-clés : programmes parallèles. Index. décimale : 005.1 Résumé : ce livre:atomicité;modèles fondés sur des états, modèle fondés sur des états,modèles fondés sur un ordre partiel; vérification de propriétés. PROGRAMMES PARALLELES. MODELES ET VALIDATION [texte imprimé] / ARNOLD.A, Auteur ; BEAUQUIER.J, Auteur . - PARIS : ARMAND COLIN, 1992 . - 164P. : illus. ; 24 cm.
ISBN : 978-2-200-21080-9
Index.
Mots-clés : programmes parallèles. Index. décimale : 005.1 Résumé : ce livre:atomicité;modèles fondés sur des états, modèle fondés sur des états,modèles fondés sur un ordre partiel; vérification de propriétés. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité E01216 E000-005.1-07/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible