|
Titre :
|
Processus séquentiels communicants
|
|
Auteurs :
|
Charles Antony Richard Hoare, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1987
|
|
Collection :
|
Manuels informatiques Masson
|
|
ISBN/ISSN/EAN :
|
978-2-225-81100-5
|
|
Format :
|
288 p. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Langues originales:
|
Anglais
|
|
Index. décimale :
|
004.8
|
|
Catégories :
|
Techniques > Informatique
|
|
Mots-clés:
|
analyse
|
|
Résumé :
|
Une nouvelle approche mathématique dans l'étude de parallélisme et de la communication dont on trouve l'application dans la spécification, la conception et la mise en oeuvre de systèmes informatiques qui interragissent en permanence avec leur environnement.
|
