Мақала туралы мәліметтерге оралу Симуляция и верификация распределенных программ при использовании транзакционной памяти. Simulation and verication distributed programs using transactional memory. Жүктеу PDF Жүктеу