Verwandte Artikel zu Elements of Distributed Algorithms: Modeling and Analysis...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum1998
- ISBN 10 3540627529
- ISBN 13 9783540627524
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten324
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 26,18
EUR 2,30 für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Elements of Distributed Algorithms: Modeling and Analysis...
Beispielbild für diese ISBN
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.31. Bestandsnummer des Verkäufers G3540627529I4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 324. Bestandsnummer des Verkäufers 18348414
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1998
ISBN 10: 3540627529
ISBN 13: 9783540627524
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-850-552
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1998
ISBN 10: 3540627529
ISBN 13: 9783540627524
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers E-577-818
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 324 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Bestandsnummer des Verkäufers 7532331
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 324. Bestandsnummer des Verkäufers 26348404
Anzahl: 1 verfügbar
Foto des Verkäufers
Elements of Distributed Algorithms
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: 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. Bestandsnummer des Verkäufers 4896072
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms - The Petri Net Approach
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-85103
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Elements of Distributed Algorithms - The Petri Net Approach
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-268174
Anzahl: 1 verfügbar
Foto des Verkäufers
Elements of Distributed Algorithms
ISBN 10: 3540627529
ISBN 13: 9783540627524
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch. Bestandsnummer des Verkäufers 9783540627524
Anzahl: 2 verfügbar