Automated Verification of Concurrent Search Structures Synthesis Lectures on Computer Science Autor Siddharth Krishna et al. iun 2021 Paperback Preț: 402.16 lei 6-8 săpt.