Home > Authors > Alexey Gotsman

Alexey Gotsman

All books by Alexey Gotsman

(Displaying 2 Books)

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Alexey Gotsman

Logics and analyses for concurrent heap-manipulating programs

Logics and analyses for concurrent heap-manipulating programs

Alexey Gotsman

Looking for another book by Alexey Gotsman? Search for the book by title.