Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

by Peter Csaba Ölveczky Paperback details (UK). (see also: eBook (Kindle)) details (USA). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-1-4471-6686-3 ISBN-10: 1-4471-6686-8 Springer · 2018