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 Research and Development in Intelligent Systems XVIII by
bigCover of the book A Concise Introduction to Languages and Machines by
bigCover of the book Extended Warranties, Maintenance Service and Lease Contracts by
bigCover of the book Enhancing the Internet with the CONVERGENCE System by
bigCover of the book Maritime Governance and Policy-Making by
bigCover of the book Atherosclerosis: Clinical Perspectives Through Imaging by
bigCover of the book Practical Procedures in Elective Orthopedic Surgery by
bigCover of the book Patellar Instability Surgery in Clinical Practice by
bigCover of the book Tips and Tricks in Endocrine Surgery by
bigCover of the book Adult ADHD by
bigCover of the book Matrix Transforms for Computer Games and Animation by
bigCover of the book Reproductive Surgery in Assisted Conception by
bigCover of the book Commercial-Industrial Cleaning, by Pressure-Washing, Hydro-Blasting and UHP-Jetting by
bigCover of the book Proceedings of COOP 2010 by
bigCover of the book Complex Analysis 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