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 Health Information Systems by
bigCover of the book ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus by
bigCover of the book Demand-Driven Associative Classification by
bigCover of the book Web Accessibility by
bigCover of the book Neurological Disorders by
bigCover of the book Countering Brandjacking in the Digital Age by
bigCover of the book Rheumatoid Arthritis and Proteus by
bigCover of the book Cardiovascular Disease by
bigCover of the book Explaining Algorithms Using Metaphors by
bigCover of the book Fundamental Techniques in Pulmonary and Oesophageal Surgery by
bigCover of the book Neuro-Ophthalmology by
bigCover of the book Guide to Biometrics for Large-Scale Systems by
bigCover of the book Leadership in Healthcare by
bigCover of the book Epigenetic Aspects of Chronic Diseases by
bigCover of the book Disorders of Thrombosis and Hemostasis in Pregnancy 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