Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Verification of object-oriented software the KeY approachBernhard Beckert; Reiner H ahnle; P. H Schmitt (Peter H.) 1948Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4334 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Object-Oriented Reengineering PatternsSerge Demeyer, Stéphane Ducasse, Oscar NierstraszSan Diego: Elsevier Science 2002Texto completo disponível |
|
3 |
Material Type: Livro
|
An introduction to object-oriented programming in C++ with applications in computer graphicsGraham M Seed 1965London Springer New York 2001Localização: IME - Inst. Matemática e Estatística (QA762 S451i )(Acessar) |
|
4 |
Material Type: Livro
|
A theory of objectsMart in Abadi Luca CardelliNew York Springer 1998, c1996Localização: IME - Inst. Matemática e Estatística (QA754.4 A116t )(Acessar) |
|
5 |
Material Type: Livro
|
Object lessons lessons learned in object-oriented development projectsTom LoveNew York SIGS Books c1993Localização: IME - Inst. Matemática e Estatística (QA754.4 L897o )(Acessar) |