Portada

Reasoning About Program Transformations

SPRINGER
10 / 2002
9780387953915
978-03-8795-391-5
Inglés
Ingles