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 Fuel Cells in the Waste-to-Energy Chain by
bigCover of the book Advanced Modeling and Optimization of Manufacturing Processes by
bigCover of the book Life Cycle Assessment of Renewable Energy Sources by
bigCover of the book …more MRCP Part 1 by
bigCover of the book Core Concepts in Data Analysis: Summarization, Correlation and Visualization by
bigCover of the book Context Management for Distributed and Dynamic Context-Aware Computing by
bigCover of the book Systems Thinkers by
bigCover of the book Artificial Organs by
bigCover of the book Noninvasive Vascular Diagnosis by
bigCover of the book Crohn’s Disease and Ulcerative Colitis by
bigCover of the book Terminology and Terminological Systems by
bigCover of the book Second-Generation High-Temperature Superconducting Coils and Their Applications for Energy Storage by
bigCover of the book Human-in-the-Loop Simulations by
bigCover of the book Clinical Approach to Sudden Cardiac Death Syndromes by
bigCover of the book External Fixation in Orthopedic Traumatology 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