Automated Verification of Concurrent Search Structures by Siddharth Krishna (Eng
67,28 €
He completed his Ph.D. in logic and verification at New York University, where he had the good fortune to work with Nisarg, Dennis, and Thomas. He now works on parallel and distributed algorithms for large-scale machine learning workloads.
Jetzt bei Ebay:
