Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

By Peter Csaba Olveczky and Peter Csaba Ölveczky

Introduces formal modeling of abstract data types and distributed systems

Does not assume or require any formal methods or theoretical computer science background

Contains exercises throughout

• Format: Paperback
• Language: English
• ISBN: 1447166868
• ISBN13: 9781447166863
• Release Date: February 2018
• Publisher: Springer
• Length: 313 Pages
• Weight: 1.21 lbs.
• Dimensions: 0.7" x 6.2" x 9.1"