Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series - Wan Fokkink - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642093210 - November 18, 2010
In case cover and title do not match, the title is correct

Wan Fokkink
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2007 edition

Price
A$ 83.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 9 - 21, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

162 pages, 7 black & white tables, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 18, 2010
ISBN13 9783642093210
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 154
Dimensions 155 × 235 × 8 mm   ·   240 g
Language English  

More by Wan Fokkink

Show all

See all of Wan Fokkink ( e.g. Hardcover Book and Paperback Book )