Portada

Modular Specification and Verification of Object-Oriented Programs

SPRINGER
01 / 2002
9783540431671
Inglés
Lecture Notes in Computer Science
Ingles
PVP
51,99