Articles liés à The Pi-Calculus: A Theory of Mobile Processes
Synopsis
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Acheter neuf
Afficher cet article
EUR 84,08
EUR 4,61 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour The Pi-Calculus: A Theory of Mobile Processes
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01. N° de réf. du vendeur G0521543274I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521543279_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
Edité par
Cambridge University Press 2008-08-21, 2008
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780521543279
Quantité disponible : 10 disponible(s)
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521543279
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 592 pages. 9.75x7.75x1.25 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521543274
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Pi-Calculus
Edité par
Cambridge University Press, 2003
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A detailed text on the p-calculus, a mathematical model highly suited to describing mobile systems, the components of which communicate and change their structure. The book is written at the graduate level, assuming no prior acquaintance with the subject, a. N° de réf. du vendeur 446939285
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1091. N° de réf. du vendeur C9780521543279
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Pi-Calculus (Paperback)
Edité par
Cambridge University Press, Cambridge, 2003
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Paperback
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. 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. A detailed text on the p-calculus, a mathematical model highly suited to describing mobile systems, the components of which communicate and change their structure. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521543279
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Pi-Calculus : A Theory of Mobile Processes
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521543274
ISBN 13 : 9780521543279
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9780521543279
Quantité disponible : 1 disponible(s)
Image d'archives
The Pi-Calculus: A Theory of Mobile Processes
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 592 pages. 9.75x7.75x1.25 inches. In Stock. N° de réf. du vendeur x-0521543274
Quantité disponible : 2 disponible(s)