Home > Authors > Alexey Gotsman > Logics and analyses for concurrent heap-manipulating programs

Logics and analyses for concurrent heap-manipulating programs

Alexey Gotsman

Recent activity

Rate this book to see your activity here.

1 Book Similar to Logics and analyses for concurrent heap-manipulating programs by Alexey Gotsman

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

Formal Techniques for Distributed Objects, Components, and Systems by Alexey Gotsman

Cover of Formal Techniques for Distributed Objects, Components, and Systems

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 Logics and analyses for concurrent heap-manipulating programs

Please sign in to leave a comment