Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de biblioth�que avec signature et cachet. BON �tat, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 68 SAN 9780521781770 Sprache: Englisch Gewicht in Gramm: 1100.

N� de r�f. du vendeur 2501319

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

The ?-calculus a theory of mobile processes Davide Sangiorgi, David Walker.

�diteur

Cambridge, Cambridge University Press

Date de parution

2001

Langue

anglais

ISBN � 10 chiffres

0521781779

ISBN � 13 chiffres

9780521781770

Reliure

Hardcover

Catalogues du vendeur

SA MATHEMATIK

A propos de ce titre

Synopsis

Graduate text on the p-calculus, a mathematical model of mobile computing systems.

Pr�sentation de l'�diteur

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Antiquariat Bookfarm
Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Informations relatives au droit de r�vocation/ Mod�le de formulaire de r�vocation/ Conditions g�n�rales de vente et informations clients/ D�claration de protection des donn�es

Droit de r�vocation pour le consommateur
(un consommateur est une personne physique, qui effectue une transaction dans un but qui n'est ni commercial, ni dans le cadre de son activit� professionnelle ind�pendante).

Droit de r�tractation

Droit de r�tractation
Vous disposez d'un droit de r�tractation de 30 jours pour r�voque...

Pour plus d'information

Droit de r�tractation

Conditions d'exp�dition

The flat shipping rates are based on shipments with an average weight. If the book you ordered is particularly heavy or bulky, we will inform you of any additional shipping charges that may apply.

Frais d?exp�dition de Allemagne�vers�France

Frais d?exp�dition de Allemagne�vers�France
Quantit� command�e	4 � 7 jours ouvr�s	4 � 7 jours ouvr�s
Premier article	EUR 18.00	EUR 18.00

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.

Informations vendeur d�taill�es