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 Control of Noise and Structural Vibration by
bigCover of the book Success in Academic Surgery: Developing a Career in Surgical Education by
bigCover of the book Meta-Programming and Model-Driven Meta-Program Development by
bigCover of the book Smart Grids by
bigCover of the book Acute Phase Proteins in the Acute Phase Response by
bigCover of the book Imaging and Urodynamics of the Lower Urinary Tract by
bigCover of the book Modern Management of Cancer of the Rectum by
bigCover of the book Handbook of Angioplasty and Stenting Procedures by
bigCover of the book Electronic Value Exchange by
bigCover of the book End-of-Life Care in Cardiovascular Disease by
bigCover of the book Training in Minimal Access Surgery by
bigCover of the book Essentials of Autopsy Practice by
bigCover of the book Laparoscopic Entry by
bigCover of the book Power Electronics for Renewable and Distributed Energy Systems by
bigCover of the book Surgical Treatment of Anal Incontinence 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