Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Peter Csaba Olveczky
€ 68.52
FREE Delivery in Ireland
Description for Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Paperback. .
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 ... Read more
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 ... Read more
Product Details
Publisher
Springer London Ltd
Format
Paperback
Publication date
2018
Series
Undergraduate Topics in Computer Science
Condition
New
Number of Pages
313
Place of Publication
England, United Kingdom
ISBN
9781447166863
SKU
V9781447166863
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-1
About Peter Csaba Olveczky
Dr. Peter Csaba OElveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.
Reviews for Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude