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

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

Learn to architect robust distributed systems with Maude’s executable models, combining formal proofs, automated verification, and practical design techniques for fault‑tolerant networks.

MPN: 23671612
ISBN: 9781447166863
Sponsored  This site contains affiliate links for which we may receive compensation. More information
Edition 1st ed. 2015
Height 159 mm
Imprint Springer
ISBN 9781447166863
Languages English
Number of pages xviii, 313
Publisher Springer London
Spine width 18 mm
Weight 572 g
Width 238 mm