Home > Authors > Marina Waldén > Formal Reasoning About Distributed Algorithms

Formal Reasoning About Distributed Algorithms

Marina Waldén

Recent activity

Rate this book to see your activity here.

1 Book Similar to Formal Reasoning About Distributed Algorithms by Marina Waldén

Bookscovery readers who liked Formal Reasoning About Distributed Algorithms also like ZB 2003 : Formal Specification and Development in Z and B. How many of these have you read?

ZB 2003 : Formal Specification and Development in Z and B by Didier Bert

Cover of ZB 2003 : Formal Specification and Development in Z and B

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Formal Reasoning About Distributed Algorithms

Please sign in to leave a comment