Designing Reliable Distributed Systems

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

5/5
Wotae zi gbãtɔ
2018
Gbeƒãɖelawo
Springer London· Limited
Gbegbᴐgblᴐ
English

Agbalẽwo

Agbalẽ siwo sɔ kplii