Portada

Verification of Sequential and Concurrent Programs

SPRINGER
03 / 2012
9781447125136
978-14-4712-513-6
Inglés
Texts in Computer Science
Ingles