GEOTRUST SSL CERTIFICATE
| Titre : | Parallélisme, communication et synchronisation |
| Auteurs : | J.-P. Verjus, Auteur ; G. Roucairol, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ed. du CNRS, 1985 |
| ISBN/ISSN/EAN : | 978-2-222-03672-2 |
| Format : | 584p. / ill / 24 x 16 cm |
| Langues: | Français |
| Index. décimale : | 004.1 |
| Catégories : | |
| Mots-clés: | informatique ; langage |
| Résumé : |
Une collection d'articles faisant le point sur les recherches en cours, de 1981 à 1983, sur ce thème.
|
| Note de contenu : |
1-Modèles et sèmantique du parallèlisme
2-Mèthode et outils de preuve ou de spècification 3-Modèlisation et evaluation de systèmes parallèles ou distribuès 4-Langage pour l'expression du parallèlisme et de la rèparatition 5-Architectures et systèmes parallèles ou distribuès |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC002308 | TELE00037 | Livre | Magasin des Ouvrages | Electronique | Exclu du prêt |
| TEC013963 | INF04376 | Livre | Magasin des Ouvrages | Informatique | Exclu du prêt |
