Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Object-oriented software constructionBertrand Meyer 1950-New York Prentice-Hall c1988Localização: EPBC - Esc. Politécnica-Bib Central (004.045 M575o ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Modeling reactive systems with statecharts the statemate approachDavid Harel 1950- Michal PolitiNew York McGraw-Hill c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.50 H274mr e.1 )(Acessar) |
|
4 |
Material Type: Livro
|
Pattern languages of program design 2John M Vlissides; James O Coplien; Norman L Kerth; Pattern Languages on Programming ConferenceReading, Mass. Addison-Wesley 1998, c1996Localização: EACH - Esc. Artes, Ciências e Humanidades (005.12 p316 v.2 1998 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Testing object-oriented softwareChen-Ho Kung Pei Hsia; Jerry GaoLos Alamitos, Calif. IEEE Computer Society Press 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.25 K96to e.1 )(Acessar) |
|
6 |
Material Type: Livro
|
Building application frameworks object-oriented foundations of framework designMohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph. D.New York Wiley c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.50 F282ba e.1 ) e outros locais(Acessar) |