Author: OLVECZKY, PETER CSABA
Title: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Description: London, Springer Verlag London. 2017. (ISBN: 9781447166863). Paperback. Used, Paperback in very good condition. Cover corners and spine ends are slightly bumped. Covers are clean, binding is sound and content is as unread. LW. Very Good.

Keywords: 9781447166863


See more books from our catalog: Computers & Technology (Incl. Ai)