Capa

Modular Specification and Verification of Object-Oriented Programs

SPRINGER
01 / 2002
9783540431671
978-35-4043-167-1
Inglês
Lecture Notes in Computer Science
Ingles