Rahva Raamat logo
Categories
triangle icon
Rahva Raamat logo
Categories
Books
triangle icon
Audiobooks
triangle icon
E-books
triangle icon
Games
triangle icon
Stationery
triangle icon
Gifts
triangle icon
Music & Movies
triangle icon
Electronics
triangle icon
Special offers!
triangle icon
delivery icon

Shipping is free

home icon

Modelling Distributed Systems

ra icon

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.
Stock availability

€85.00

delivery icon