Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Designing Reliable Distributed Systems

More books from Springer London

bigCover of the book Theory of Random Sets by
bigCover of the book Manual of Fast Track Recovery for Colorectal Surgery by
bigCover of the book Right Ventricular Hypertrophy and Function in Chronic Lung Disease by
bigCover of the book Vortex Formation in the Cardiovascular System by
bigCover of the book Hypermobility of Joints by
bigCover of the book Palliative Care in Clinical Practice by
bigCover of the book Children’s Orthopaedics and Fractures by
bigCover of the book Developing Insights in Cartilage Repair by
bigCover of the book Designing Interfaces in Public Settings by
bigCover of the book Chemotherapy and Urological Malignancy by
bigCover of the book Design of Demining Machines by
bigCover of the book Python Programming Fundamentals by
bigCover of the book Passivity-Based Model Predictive Control for Mobile Vehicle Motion Planning by
bigCover of the book Congestion Control in Data Transmission Networks by
bigCover of the book Practical Astrophotography by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy