Cantitate/Preț
Produs
Update 23 martie - COVID-19 - Informații privind activitatea Books Express

Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

De (autor)
Notă GoodReads:
en Limba Engleză Hardback – 20 Aug 1998
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.
Citește tot Restrânge
Toate formatele și edițiile
Toate formatele și edițiile Preț Express
Paperback (1) 18629 lei  Economic 5-7 săpt. +13955 lei  13-21 zile
  Springer Berlin, Heidelberg – 09 Dec 2010 18629 lei  Economic 5-7 săpt. +13955 lei  13-21 zile
Hardback (1) 27941 lei  Economic 5-7 săpt. +7534 lei  13-21 zile
  Springer Berlin, Heidelberg – 20 Aug 1998 27941 lei  Economic 5-7 săpt. +7534 lei  13-21 zile

Preț: 27941 lei

Puncte Express: 419

Preț estimativ în valută:
5501 6498$ 4964£

Carte tipărită la comandă

Livrare economică 12-26 septembrie
Livrare express 21-29 august pentru 8533 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540627524
ISBN-10: 3540627529
Pagini: 324
Ilustrații: 1
Dimensiuni: 156 x 234 x 23 mm
Greutate: 0.66 kg
Ediția: 1998
Editura: Springer Berlin, Heidelberg
Colecția Springer
Locul publicării: Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

I. Elementary Concepts.- II. Case Studies.- III. Advanced Concepts.- IV. Case Studies.- V. Case Studies Continued: Acknowledged Messages.- VI. Case Studies Continued: Network Algorithms.- VII. State Properties of Elementary System Nets.- VIII. Interleaved Progress of Elementary System Nets.- IX. Concurrent Progress of Elementary System Nets.- X. State Properties of System Nets.- XI. Interleaved Progress of System Nets.- XII. Concurrent Progress of System Nets.- XIII. Formal Analysis of Case Studies.- References.

Textul de pe ultima copertă

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.

Caracteristici

Distributed Computing is becoming more and more important for the application and organization of computing systems
This book uses a Petri net and temporal logic approach to present a variety of distributed algorithms and prove their correctness in the simplest possible way
The author is one of the world's leading authorities on Petri nets