Modelling Distributed Systems

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

• | By (Author): Wan Fokkink
• | Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• | Publication Date: Sep 26, 2007
• | Country of Publication: Germany
• | Number of Pages: 154 pages
• | Language: Unknown
• | Binding: Hardback
• | ISBN-10: 3540739378
• | ISBN-13: 9783540739371