1
|
Material Type: Libro
|
|
Verification of object-oriented software the KeY approach
Bernhard Beckert; Reiner H ahnle; P. H Schmitt (Peter H.) 1948
Berlin Springer New York c2007
Disponible en
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.4334 ) y otras localizaciones(Obténgalo)
|
2
|
Material Type: Libro
|
|
Fundamentals of object-oriented design in UML
Meilir Page-Jones Larry L Constantine
New York Dorset House Pub Reading, Mass Addison-Wesley c2000
Disponible en
IME - Inst. Matemática e Estatística
(QA754.4 P133f )(Obténgalo)
|
3
|
Material Type: Libro
|
|
Object lessons lessons learned in object-oriented development projects
Tom Love
New York SIGS Books c1993
Disponible en
IME - Inst. Matemática e Estatística
(QA754.4 L897o )(Obténgalo)
|