{"product_id":"protocols-by-invariants-cambridge-international-series-on-parallel-computation-series-number-7-0521607558","title":"Protocols by Invariants (Cambridge International Series on Parallel Computation, Series Number 7)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0521607558\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Schoone, Anneke A.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eAlgorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve many problems at once, are conceptually far more complex than algorithms in a single processing unit environment. When the number of simultaneous events becomes large, human minds cannot keep track of all of them. Naturally, it is necessary to know whether a distributed algorithm will have the desired effect. In this book, Dr. Schoone discusses assertational verification by system-wide invariants for use in verifying the behavior of distributed algorithms. The approach is entirely pragmatic; the author considers many different examples, over a wide range of algorithms and protocols. This volume will be an essential purchase for all those with an interest in distributed algorithms.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51940629020960,"sku":"NEW0521607558","price":70.8,"currency_code":"USD","in_stock":false}],"url":"https:\/\/miakarts.com\/products\/protocols-by-invariants-cambridge-international-series-on-parallel-computation-series-number-7-0521607558","provider":"Miakarts Books","version":"1.0","type":"link"}