A Survey of Verification Techniques for Parallel Programs electronic resource / by Howard Barringer

Författare
Howard. author. Barringer
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat