Algorithmic Verification of Synchronization with Condition Variables

Författare
Pedro de Carvalho Gomes
Språk
Engelska
Förlag År Ort Om boken ISBN
2015 Sverige 26