10% off all books and free delivery over £40 - Last Express Posting Date for Christmas: 20th December

Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

All Editions of Understanding Behaviour of Distributed Systems Using mCRL2 By Muhammad Atif, J F Groote

Book Cover for Understanding Behaviour of Distributed Systems Using mCRL2 by Muhammad Atif, J F Groote

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif and 1 more

Paperback

Book Cover for Understanding Behaviour of Distributed Systems Using mCRL2 by Muhammad Atif, J F Groote

Understanding Behaviour of Distributed Systems Using mCRL2

Muhammad Atif and 1 more

Hardback