Portada

Verification of Sequential and Concurrent Programs

SPRINGER
10 / 2009
9781848827448
Inglés
Texts in Computer Science
Ingles
PVP
103,99