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 The Theory of the Moiré Phenomenon by
bigCover of the book Self-* and P2P for Network Management by
bigCover of the book Photophysics of Carbon Nanotubes Interfaced with Organic and Inorganic Materials by
bigCover of the book Practical Biometrics by
bigCover of the book Smart Grid Security by
bigCover of the book Designing User Studies in Informatics by
bigCover of the book Rapid One-of-a-kind Product Development by
bigCover of the book Essentials of Autopsy Practice by
bigCover of the book Finite-Time Stability and Control by
bigCover of the book Formal Languages and Compilation by
bigCover of the book Neuropsychiatric Symptoms of Cerebrovascular Diseases by
bigCover of the book Practical Manual of Interventional Cardiology by
bigCover of the book Multimedia Interaction and Intelligent User Interfaces by
bigCover of the book Risk and Interdependencies in Critical Infrastructures by
bigCover of the book Weather Modeling and Forecasting of PV Systems Operation 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