We a good story
Quick delivery in the UK

Designing Reliable Distributed Systems

- A Formal Methods Approach Based on Executable Modeling in Maude

About Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Show more
  • Language:
  • English
  • ISBN:
  • 9781447166863
  • Binding:
  • Paperback
  • Pages:
  • 313
  • Published:
  • February 21, 2018
  • Edition:
  • 12017
  • Dimensions:
  • 238x159x18 mm.
  • Weight:
  • 564 g.
Delivery: 2-4 weeks
Expected delivery: July 27, 2025

Description of Designing Reliable Distributed Systems

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

User ratings of Designing Reliable Distributed Systems



Find similar books
The book Designing Reliable Distributed Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.