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) |