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
|
![]() |
Implementing application frameworks object-oriented frameworks at workFayad, Mohamed E. Mohamed Fayad 1950-; Douglas C Schmidt; Ralph E Johnson Ph.D.New York Wiley 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.50 F282ia e.1 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Object-oriented software constructionBertrand Meyer 1950-Upper Saddle River, N.J. Prentice Hall PTR c1997Localização: FEARP - Fac. Econ. Adm. Cont. de R. Preto (CD-ROM 3919 ) e outros locais(Acessar) |
4 |
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) |
5 |
Material Type: Livro
|
![]() |
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedingsUML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard RumpeBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1723 e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedingsUML 2001 (2001 Toronto, Ont.) Martin Gogolla 1954-; Cris Kobryn 1952-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2185 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedingsInternational Symposium of Formal Methods Europe (12th 2003 Pisa, Italy) Keijiråo Araki 1954-; Stefania Gnesi 1954-; Dino MandrioliBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2805 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Java persistence with HibernateChristian Bauer Gavin King; Christian BauerGreenwich, Conn Manning c2007Localização: EACH - Esc. Artes, Ciências e Humanidades (005.133 B344j ed.rev. ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 ProceedingsJézéquel, Jean-Marc ; Hussmann, Heinrich ; Cook, Stephen Cook, Stephen ; Hussmann, Heinrich ; Jézéquel, Jean-MarcBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Learn Java for Android DevelopmentFriesen, JeffBerkeley, CA: Apress L. P 2013Texto completo disponível |