Articoli correlati a Introduction to Choreographies
Sinossi
The first rigorous and systematic treatment of choreographies: formal coordination plans for concurrent and distributed systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Fabrizio Montesi is Professor of Computer Science at the University of Southern Denmark. He is a Villum Young Investigator and recipient of several awards for science and innovation, including the EAPLS Best PhD Dissertation Award and the Best Thesis in ICT Award from the General Confederation of Italian Industry.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 53,89
EUR 6,81 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Introduction to Choreographies
Foto dell'editore
Introduction to Choreographies
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9781108833769
Quantità: 2 disponibili
Immagini fornite dal venditore
Introduction to Choreographies
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45290929-n
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Choreographies
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781108833769
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Choreographies
Editore:
Cambridge University Press, 2023
ISBN 10: 1108833764
ISBN 13: 9781108833769
Antico o usato
Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45290929
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Choreographies (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2023
ISBN 10: 1108833764
ISBN 13: 9781108833769
Nuovo
Rilegato
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. In concurrent and distributed systems, processes can complete tasks together by playing their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal description of overall behaviour that processes should collaborate to implement, like authenticating a user or purchasing an item online. Formality brings clarity, but not only that. Choreographies can contribute to important safety and liveness properties. This book is an ideal introduction to theory of choreographies for students, researchers, and professionals in computer science and applied mathematics. It covers languages for writing choreographies and their semantics, and principles for implementing choreographies correctly. The text treats the study of choreographies as a discipline in its own right, following a systematic approach that starts from simple foundations and proceeds to more advanced features in incremental steps. Each chapter includes examples and exercises aimed at helping with understanding the theory and its relation to practice. This is the first rigorous and systematic treatment of choreographies, an increasingly central topic in the development of computer systems based on communication. With numerous examples and exercises throughout, this is an ideal introductory text for students, researchers, and professionals in computer science and applied mathematics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9781108833769
Quantità: 1 disponibili
Foto dell'editore
Introduction to Choreographies
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643. Codice articolo C9781108833769
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Choreographies
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45290929-n
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Choreographies
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 253 pages. 10.00x7.00x0.56 inches. In Stock. This item is printed on demand. Codice articolo __1108833764
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Choreographies
Editore:
Cambridge University Press, 2023
ISBN 10: 1108833764
ISBN 13: 9781108833769
Antico o usato
Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 45290929
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Choreographies
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Über den AutorFabrizio Montesi is Professor of Computer Science at the University of Southern Denmark. He is a Villum Young Investigator and recipient of several awards for science and innovation, including the EAPLS Best PhD Disser. Codice articolo 768768800
Quantità: Più di 20 disponibili