TLA+, TLC: формальный метод верификации конкурентных алгоритмов для инженеров, Алексей Найденов
Send Abuse
Views: 1
0
0
|
Categories
|
Categories
|