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 analysis and design with applicationsGrady BoochBoston Addison-Wesley 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 B724o.2 e.6 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papersUML '98 (1998 Mulhouse, France) J Bézivin (Jean); Pierre-Alain MullerBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1618 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Object modeling with the OCL the rationale behind the Object Constraint LanguageTony Clark Ph. D.; Jos B WarmerBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2263 e.1 ) 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
|
![]() |
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) |
7 |
Material Type: Livro
|
![]() |
Object-oriented programming using C++Ira PohlRedwood City, Calif. Benjamin/Cummings c1993Localização: EPBC - Esc. Politécnica-Bib Central (004.045 P753o )(Acessar) |
8 |
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) |
9 |
Material Type: Livro
|
![]() |
Object-oriented programming in C++Richard Johnsonbaugh 1941- Martin KalinEnglewood Cliffs, N.J. Prentice Hall c1995Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.045 J639o )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Functional and logic programming 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedingsFuji International Symposium on Functional and Logic Programming (4th 1999 Tsukuba Kenkyåu Gakuen Toshi, Japan) Aart Middeldorp 1963-; Taisuke SatåoBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1722 e.1 )(Acessar) |