Loading, please wait...
:

product description page

Formal Modeling and Analysis of Distributed Systems : An Introduction Based on Executable Modeling in

Formal Modeling and Analysis of Distributed Systems : An Introduction Based on Executable Modeling in - image 1 of 1

About this item

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.

Number of Pages: 250
Genre: Computers + Internet, Mathematics
Series Title: Undergraduate Topics in Computer Science
Format: Paperback
Publisher: Springer Verlag
Author: Peter Csaba u00d6lveczky
Language: English
Street Date: March 13, 2018
TCIN: 53543360
UPC: 9781447166863
Item Number (DPCI): 248-92-2847
If the item details above aren’t accurate or complete, we want to know about it. Report incorrect product info.
$62.27
MSRPReg: $69.99 Save $7.72 (11% off)
Shipping not available
Not in stores

Guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.


*See offer details. Restrictions apply. Pricing, promotions and availability may vary by location and at Target.com.