Integrated Model of Distributed Systems: Studies in Computational Intelligence, cartea 817
Autor Wiktor B. Daszczuken Limba Engleză Paperback – 28 oct 2020
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 630.62 lei 6-8 săpt. | |
Springer International Publishing – 28 oct 2020 | 630.62 lei 6-8 săpt. | |
Hardback (1) | 636.78 lei 6-8 săpt. | |
Springer International Publishing – 26 mar 2019 | 636.78 lei 6-8 săpt. |
Din seria Studies in Computational Intelligence
- 50% Preț: 264.48 lei
- 70% Preț: 235.75 lei
- 20% Preț: 1134.78 lei
- 20% Preț: 966.66 lei
- 20% Preț: 1423.29 lei
- 20% Preț: 168.78 lei
- 18% Preț: 1089.74 lei
- 20% Preț: 565.38 lei
- 20% Preț: 636.14 lei
- 20% Preț: 1026.49 lei
- 20% Preț: 1546.90 lei
- 20% Preț: 630.47 lei
- 20% Preț: 644.20 lei
- 20% Preț: 973.14 lei
- 20% Preț: 970.73 lei
- 20% Preț: 969.90 lei
- 20% Preț: 1142.04 lei
- 20% Preț: 1415.20 lei
- 20% Preț: 1020.82 lei
- 20% Preț: 1026.49 lei
- 20% Preț: 1024.85 lei
- 18% Preț: 2449.69 lei
- 20% Preț: 969.09 lei
- 20% Preț: 1142.04 lei
- 20% Preț: 1140.44 lei
- 20% Preț: 1021.64 lei
- 20% Preț: 1430.55 lei
- 18% Preț: 1375.05 lei
- 18% Preț: 1102.11 lei
- 20% Preț: 1018.40 lei
- 20% Preț: 987.68 lei
- 20% Preț: 1024.07 lei
- 20% Preț: 1249.53 lei
- 20% Preț: 1019.22 lei
- 20% Preț: 968.30 lei
- 20% Preț: 1146.08 lei
- 20% Preț: 1138.80 lei
- 20% Preț: 1037.78 lei
- 20% Preț: 1140.44 lei
- 20% Preț: 1142.87 lei
- 20% Preț: 1429.76 lei
- 18% Preț: 985.35 lei
- 20% Preț: 977.17 lei
- 20% Preț: 1034.54 lei
- 20% Preț: 1258.40 lei
- 20% Preț: 974.89 lei
- 20% Preț: 1027.45 lei
- 20% Preț: 924.65 lei
- 20% Preț: 1149.31 lei
- 20% Preț: 1428.13 lei
Preț: 630.62 lei
Preț vechi: 788.28 lei
-20% Nou
Puncte Express: 946
Preț estimativ în valută:
120.70€ • 125.46$ • 99.98£
120.70€ • 125.46$ • 99.98£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030128371
ISBN-10: 3030128377
Pagini: 238
Ilustrații: XVIII, 238 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.37 kg
Ediția:1st ed. 2020
Editura: Springer International Publishing
Colecția Springer
Seria Studies in Computational Intelligence
Locul publicării:Cham, Switzerland
ISBN-10: 3030128377
Pagini: 238
Ilustrații: XVIII, 238 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.37 kg
Ediția:1st ed. 2020
Editura: Springer International Publishing
Colecția Springer
Seria Studies in Computational Intelligence
Locul publicării:Cham, Switzerland
Cuprins
Preface.- Acknowledgments.- Chapter 1. Introduction.- Chapter 2. Related work on deadlock and termination detection techniques.- Chapter 3. Integrated Model of Distributed Systems.- Chapter 4. Model Checking of IMDS specifications in the Dedan environment.- etc.
Textul de pe ultima copertă
In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their asynchronous communication. However, most of the available verifiers are unrealistic because one or more of these features are not reflected. Accordingly, in this book we present an original formalism: the Integrated Distributed Systems Model (IMDS), which defines a system as two sets (states and messages), and a relation of the "actions" between these sets. The server view and the traveling agent’s view of the system provide communication duality, while general temporal formulas for the IMDS allow automatic verification. The features that the model checks include: partial deadlock and partial termination, communication deadlock and resource deadlock. Automatic verification can supportthe rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.
Caracteristici
Proposes an original formalism, the IMDS, which reflects the natural features of distributed systems General temporal formulas provide automatic verification of deadlocks and distributed termination in several forms Written by an expert on the specification and verification of distributed systems