Reihe Undergraduate Topics in Computer SciencePeter Csaba Ölveczky ×Springer London × Designing Reliable Distributed SystemsA Formal Methods Approach Based on Executable Modeling in MaudePeter Csaba ÖlveczkySpringer LondonSoftcover201874,89 € Designing Reliable Distributed SystemsA Formal Methods Approach Based on Executable Modeling in MaudePeter Csaba ÖlveczkySpringer LondoneBook201874,89 €