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 Transformation Electromagnetics and Metamaterials by
bigCover of the book Bronchial Carcinoma by
bigCover of the book Visual Analysis of Humans by
bigCover of the book Finitely Generated Abelian Groups and Similarity of Matrices over a Field by
bigCover of the book Environmental Online Communication by
bigCover of the book Lasers in Cardiovascular Interventions by
bigCover of the book Data Security Breaches and Privacy in Europe by
bigCover of the book Scar-Less Surgery by
bigCover of the book Controversies and Innovations in Urological Surgery by
bigCover of the book Probabilistic Graphical Models by
bigCover of the book Teleneurology by Internet and Telephone by
bigCover of the book Software Verification and Analysis by
bigCover of the book A Neural Network Approach to Fluid Quantity Measurement in Dynamic Environments by
bigCover of the book Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 by
bigCover of the book Methodologies and Techniques for Advanced Maintenance 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