Yazar
Alexey Gotsman
2 cilt bulundu.
Cilt sonuçları
Logics and analyses for concurrent heap-manipulating programs
Alexey Gotsman · [British Computer Society]
162 sayfa · 2009
Computer software / Verification / Programming languages (Electronic computers)
Formal Techniques for Distributed Objects, Components, and Systems
Alexey Gotsman, Ana Sokolova · Springer
Sayfa sayısı yok · 2020
Computer programming / Computer networks / Artificial intelligence / Computer software, development