En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

The pi-calculus :
a theory of mobile processes

Bookmarks Report an error
Ouvrage

Sangiorgi, Davide (Principal) ; Walker, David (Co-auteur)

Cambridge University Press

2001

580 p.

978-0-521-78177-0

00024237

68-02 ; 68Q10 ; 68Q85

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

Publisher City : Cambridge

Publisher country : Grande-Bretagne

Language : English

EAN13 : 9780521781770

ISBN : 0-521-78177-9

Collation : 25 cm#rel.

Location : Ouvrage RdC (SANG)

Book type : Monographie

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00024237

[available]
Bookmarks Report an error