The pi-calculus :
a theory of mobile processes
système mobile # calcul pi # calcul lambda # mode de calcul # informatique # modèle et méthode pour le calcul concurrent et distribué # programmation # calcul de type pi # processus d'ordre supérieur # application du calcul pi à la programmation orienté objet
Ville d'édition : Cambridge
Pays d'édition : Grande-Bretagne
Langue : Anglais
EAN13 : 9780521781770
ISBN : 0-521-78177-9
Collation : 25 cm#rel.
Localisation : Ouvrage RdC (SANG)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00024237 | [disponible] |