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
|
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) |
|
3 |
Material Type: Livro
|
Systems programmingJohn J. DonovanNew York McGraw-Hill 1972Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.424 D719s e.3 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Mathematical theory of computationZohar MannaNew York McGraw-Hill 1974Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (005.1 M315m ) e outros locais(Acessar) |
|
5 |
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) |
|
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
|
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) |
|
8 |
Material Type: Livro
|
Meta-level architectures and reflection Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedingsReflection'99 (1999 Saint-Malo, France) Pierre Cointe 1954-Berlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1616 e.1 )(Acessar) |
|
9 |
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) |
|
10 |
Material Type: Livro
|
Metalevel architectures and separation of crosscutting concerns third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedingsReflection 2001 (2001 Kyoto, Japan) Akinori Yonezawa; Satoshi MatsuokaBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2192 ) e outros locais(Acessar) |