{"title":"Peter Csaba Olveczky","description":null,"products":[{"product_id":"designing-reliable-distributed-systems-book-peter-lveczky-9781447166863","title":"Designing Reliable Distributed Systems","description":"This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.  Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website.      This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49732233462033,"sku":"NGR9781447166863","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1447166868.jpg?v=1751371436"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-peter-csaba-olveczky.oembed","provider":"World of Books ","version":"1.0","type":"link"}