Andere Kunden interessierten sich auch für
![Tangible Interactive Systems]( "Tangible Interactive Systems")
Tangible Interactive Systems74,99 €![Resource Management for Big Data Platforms]( "Resource Management for Big Data Platforms")
Resource Management for Big Data Platforms111,99 €![Mental Modeling Approach]( "Mental Modeling Approach")
Mental Modeling Approach74,99 €![Finite Element Applications]( "Finite Element Applications")
Finite Element Applications95,99 €![Nature Inspired Computing]( "Nature Inspired Computing")
Nature Inspired Computing74,99 €![Mathematical Problems in Meteorological Modelling]( "Mathematical Problems in Meteorological Modelling")
Mathematical Problems in Meteorological Modelling110,99 €![Resilient Routing in Communication Networks]( "Resilient Routing in Communication Networks")
Resilient Routing in Communication Networks37,99 €
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.
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.