A Survey of Verification Techniques for Parallel Programs

Författare
Howard Barringer
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-3-540-39416-7