Bibliothèque de Faculté de Génie Mécanique IGCMO
Auteur C.A.R Hoare
|
|
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
Titre : Communicating Sequential Processes Type de document : texte imprimé Auteurs : C.A.R Hoare, Auteur Editeur : Prentice-Hall Année de publication : 1985 Importance : 256p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-0-13-153289-2 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : processes concurrency nondeterminism communication sequential processes shared resources discussion . Communicating Sequential Processes [texte imprimé] / C.A.R Hoare, Auteur . - Prentice-Hall, 1985 . - 256p : ill ; 24cmx16cm.
ISBN : 978-0-13-153289-2
Langues : Anglais (eng) Langues originales : Anglais (eng)
Catégories : Informatique:02 Logiciels et Programmation Mots-clés : processes concurrency nondeterminism communication sequential processes shared resources discussion . Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 81233 08-02-0914 Livre Bibliothèque IGCMO Documentaires Disponible
Titre : Processus séquentiels communicants Type de document : texte imprimé Auteurs : C.A.R Hoare, Auteur ; Alain Kermarrec, Auteur ; E Dijkstra, Auteur Editeur : Masson Année de publication : 1987 Collection : Manuels informatiques Masson, ISSN 0249-6992 Importance : 264p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-225-81100-5 Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Informatique:01 Informatique Générale Mots-clés : processus parallélisme non déterminisme communication processus séquentiels partage de ressources discussion . Processus séquentiels communicants [texte imprimé] / C.A.R Hoare, Auteur ; Alain Kermarrec, Auteur ; E Dijkstra, Auteur . - Masson, 1987 . - 264p : ill ; 24cmx16cm. - (Manuels informatiques Masson, ISSN 0249-6992) .
ISBN : 978-2-225-81100-5
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : Informatique:01 Informatique Générale Mots-clés : processus parallélisme non déterminisme communication processus séquentiels partage de ressources discussion . Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 62007 08-01-0227 Livre Bibliothèque IGCMO Documentaires Disponible
