Articoli correlati a Elements of Distributed Algorithms: Modeling and Analysis...
Sinossi
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.
In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.
The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.
In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.
The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Légères...
Visualizza questo articolo
EUR 7,35
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 25,37
EUR 7,95 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Elements of Distributed Algorithms: Modeling and Analysis...
Foto dell'editore
Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1998
ISBN 10: 3540627529
ISBN 13: 9783540627524
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1998. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1998. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-850-552
Quantità: 1 disponibili
Foto dell'editore
Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1998
ISBN 10: 3540627529
ISBN 13: 9783540627524
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 1998. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1998. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-577-818
Quantità: 1 disponibili
Foto dell'editore
Elements of Distributed Algorithms
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 324. Codice articolo 18348414
Quantità: 1 disponibili
Foto dell'editore
Elements of Distributed Algorithms
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 324. Codice articolo 26348404
Quantità: 1 disponibili
Foto dell'editore
Elements of Distributed Algorithms
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 324 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 7532331
Quantità: 1 disponibili
Foto dell'editore
Elements of Distributed Algorithms - The Petri Net Approach
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-85103
Quantità: 1 disponibili
Foto dell'editore
Elements of Distributed Algorithms - The Petri Net Approach
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-268174
Quantità: 1 disponibili
Immagini fornite dal venditore
Elements of Distributed Algorithms
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Distributed Computing is becoming more and more important for the application and organization of computing systemsThis book uses a Petri net and temporal logic approach to present a variety of distributed algorithms and prove their correctness in the s. Codice articolo 4896072
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Elements of Distributed Algorithms
Editore:
Springer Berlin Heidelberg Aug 1998, 1998
ISBN 10: 3540627529
ISBN 13: 9783540627524
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent. 324 pp. Englisch. Codice articolo 9783540627524
Quantità: 2 disponibili
Immagini fornite dal venditore
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent. Codice articolo 9783540627524
Quantità: 1 disponibili