Libros
Verification of object-oriented software

Verification of object-oriented software

Bernhard Beckert
2007
Páginas: 658
Género: Java (Computer program language)


Añadir a mi colección

Formato