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

$27.50

SKU: GC-9709679305 Category: Tag: