Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude - Undergraduate Topics in Computer Science (Paperback)Peter Csaba Olveczky (author)
- We can order this
This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.
Publisher: Springer London Ltd
Number of pages: 313
Weight: 686 g
Dimensions: 235 x 155 mm
Edition: 1st ed. 2017
You may also be interested in...
Please sign in to write a review