Pensum -10%Automated Verification of Concurrent Search StructuresDennis Shasha, Thomas Wies og 2 andrePocketEngelskDel av serien Synthesis Lectures on Computer ScienceLegg i handlekurvUtsolgt