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 GIS to Support Cost-effective Decisions on Renewable Sources by
bigCover of the book Treatment of Multiple Sclerosis by
bigCover of the book Probability Theory by
bigCover of the book Normal Forms, Melnikov Functions and Bifurcations of Limit Cycles by
bigCover of the book Electronic Identity by
bigCover of the book Fundamental Techniques in Pulmonary and Oesophageal Surgery by
bigCover of the book Automatic Speech Recognition by
bigCover of the book Clinical Echocardiography by
bigCover of the book Small Wind Turbines by
bigCover of the book Control of Solar Energy Systems by
bigCover of the book The Physiology of the Lower Urinary Tract by
bigCover of the book Instinctive Computing by
bigCover of the book Collateral Circulation of the Heart by
bigCover of the book Serious Games and Edutainment Applications 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