Clicky

Formal Techniques for Distributed Objects, Components, and Systems by Alexey Gotsman and similar books you'll love - Bookscovery

Home > Authors > Alexey Gotsman > Formal Techniques for Distributed Objects, Components, and Systems

Buy at: Bookshop.org Amazon

Formal Techniques for Distributed Objects, Components, and Systems

Alexey Gotsman, Ana Sokolova

Recent activity

Rate this book to see your activity here.

3 Books Similar to Formal Techniques for Distributed Objects, Components, and Systems by Alexey Gotsman

Bookscovery readers who liked Formal Techniques for Distributed Objects, Components, and Systems also like Logics and analyses for concurrent heap-manipulating programs, Model Checking Software and Reachability Problems. How many of these have you read?

Logics and analyses for concurrent heap-manipulating programs by Alexey Gotsman

Cover of Logics and analyses for concurrent heap-manipulating programs
Buy this book at:
Bookshop.org Amazon

Model Checking Software by Alfons Laarman

Cover of Model Checking Software
Buy this book at:
Bookshop.org Amazon

Reachability Problems by Laura Kovács

Cover of Reachability Problems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Techniques for Distributed Objects, Components, and Systems

Please sign in to leave a comment