Capa

A Survey of Verification Techniques for Parallel Programs

SPRINGER
05 / 1985
9783540152392
978-35-4015-239-2
Inglês
Lecture Notes in Computer Science
Ingles