Articoli correlati a Communicating and Mobile Systems: The Pi-Calculus
Sinossi
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
'... may well become the standard work on the π-calculus.' Martin Hoffman, Zentralblatt MATH
Descrizione del libro
Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the π-calculus, a theory whose scope includes the internet just as much as programs, algorithms and programming languages.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoMay have limited writing in cover...
Visualizza questo articolo
EUR 26,01
EUR 3,51 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 67,06
EUR 11,49 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Communicating and Mobile Systems: The Pi-Calculus
Foto dell'editore
Communicating and Mobile Systems
Editore:
Cambridge University Press, 1999
ISBN 10: 0521658691
ISBN 13: 9780521658690
Antico o usato
Paperback
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.55. Codice articolo G0521658691I4N00
Quantità: 1 disponibili
Foto dell'editore
Communicating and Mobile Systems
Editore:
Cambridge University Press, 1999
ISBN 10: 0521658691
ISBN 13: 9780521658690
Antico o usato
Paperback
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.55. Codice articolo G0521658691I3N00
Quantità: 1 disponibili
Immagini fornite dal venditore
Communicating and Mobile Systems: The Pi-Calculus
Editore:
Cambridge University Press, 1999
ISBN 10: 0521658691
ISBN 13: 9780521658690
Antico o usato
Brossura
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo wbs6949189000
Quantità: 1 disponibili
Foto dell'editore
Communicating and Mobile Systems: The Pi Calculus
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 174 pages. 9.00x6.00x0.25 inches. In Stock. This item is printed on demand. Codice articolo __0521658691
Quantità: 1 disponibili
Foto dell'editore
Communicating and Mobile Systems: The Pi Calculus
Editore:
Cambridge University Press, 1999
ISBN 10: 0521658691
ISBN 13: 9780521658690
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 300. Codice articolo C9780521658690
Quantità: Più di 20 disponibili
Foto dell'editore
Communicating and Mobile Systems: The Pi-Calculus
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521658690
Quantità: Più di 20 disponibili
Foto dell'editore
Communicating and Mobile Systems: The Pi-Calculus
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521658690_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Communicating and Mobile Systems
Editore:
Cambridge University Press, GB, 1999
ISBN 10: 0521658691
ISBN 13: 9780521658690
Nuovo
Paperback
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students. Codice articolo LU-9780521658690
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Communicating and Mobile Systems
Editore:
Cambridge University Press, 2019
ISBN 10: 0521658691
ISBN 13: 9780521658690
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Robin Milner introduces a new way of modelling communication that reflects its central position in computing. Everything is introduced by means of examples but the aim of the book is to develop the -calculus, a theory whose scope includes the internet just. Codice articolo 446944046
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Communicating and Mobile Systems
Editore:
Cambridge University Press, GB, 1999
ISBN 10: 0521658691
ISBN 13: 9780521658690
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students. Codice articolo LU-9780521658690
Quantità: Più di 20 disponibili