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 Thallium Myocardial Perfusion Tomography in Clinical Cardiology by
bigCover of the book User-Centered Interaction Design Patterns for Interactive Digital Television Applications by
bigCover of the book Urodynamics and the Evaluation of Female Incontinence by
bigCover of the book Handbook of Face Recognition by
bigCover of the book Future Interaction Design II by
bigCover of the book Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming by
bigCover of the book Gamut Index of Skeletal Dysplasias by
bigCover of the book Demand-Driven Associative Classification by
bigCover of the book Information Technology in Pharmacy by
bigCover of the book Partial Differential Equations for Geometric Design by
bigCover of the book Quaternions for Computer Graphics by
bigCover of the book CAN System Engineering by
bigCover of the book The Craniosynostoses by
bigCover of the book Modern Management of Cancer of the Rectum by
bigCover of the book Security and Privacy in Biometrics 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