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 technologies for advanced software first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedingsInternational Symposium on Object Technologies for Advanced Software (1993 Kanazawa-shi, Japan) Shåojiråo Nishio; Akinori Yonezawa; Japan Society for Software Science and TechnologyBerlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.742 e.1 ) e outros locais(Acessar) |
3 |
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) |
4 |
Material Type: Livro
|
![]() |
Transactions on aspect-oriented software development IAwais Rashid; Mehmet AksitBerlin Springer 2006Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Advanced topics in exception handling techniquesChristophe Dony; Jorgen Lindskov Knudsen; Alexander Romanovsky; Anand TripathiBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Transactions on aspect-oriented software development IIAwais Rashid; Mehmet Ak sitBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Model driven architecture foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedingsEuropean Conference on Model Driven Architecture - Foundations and Applications (2nd 2006 Bilbao, Spain) Arend Rensink; Jos B WarmerBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4066 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Tried & true object development practical approaches with UMLAri Jaaksi; Juha-Markus Aalto; Ari Aalto; Kimmo VattoCambridge Cambridge University Press New York 1999Localização: IME - Inst. Matemática e Estatística (QA754.4 J11t )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Patterns for concurrent and networked objectsDouglas C SchmidtChichester Wiley c2000Localização: IME - Inst. Matemática e Estatística (QA754.5 S349p e.3 )(Acessar) |
10 |
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) |