Portada

Verification of Sequential and Concurrent Programs

SPRINGER
03 / 2012
9781447125136
Inglés
Texts in Computer Science
Ingles
PVP
83,19