Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude eBook

$74.99 $37.50

By: Peter Csaba Ölveczky
Publisher: Springer
Print ISBN: 9781447166863, 1447166868
eText ISBN: 9781447166870, 1447166876
Copyright year: 2017

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude eBook

$74.99 $37.50

eText ISBN: 9781447166870 SKU: 9781447166870 Category: Tags: , Print ISBN: 9781447166863